Skip to content

Actions: trailofbits/vast

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,266 workflow run results
1,266 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

gh: Remove redundant git install for sv-comp test suite. Build #1115: Commit 29451be pushed by Jezurko
April 22, 2024 11:04 9m 7s master
master
April 22, 2024 11:04 9m 7s
Push on master CodeQL #703: by Jezurko
April 22, 2024 11:04 2m 1s master
master
April 22, 2024 11:04 2m 1s
PR #541 CodeQL #702: by Jezurko
April 22, 2024 10:44 1m 45s svcomp-ci
svcomp-ci
April 22, 2024 10:44 1m 45s
Add sv-comp CI run Build #1114: Pull request #541 synchronize by Jezurko
April 22, 2024 10:44 9m 11s svcomp-ci
svcomp-ci
April 22, 2024 10:44 9m 11s
Add sv-comp CI run Linters #550: Pull request #541 synchronize by Jezurko
April 22, 2024 10:44 1m 9s svcomp-ci
svcomp-ci
April 22, 2024 10:44 1m 9s
PR #541 CodeQL #701: by Jezurko
April 22, 2024 09:27 2m 6s svcomp-ci
svcomp-ci
April 22, 2024 09:27 2m 6s
Add sv-comp CI run Linters #549: Pull request #541 synchronize by Jezurko
April 22, 2024 09:27 1m 8s svcomp-ci
svcomp-ci
April 22, 2024 09:27 1m 8s
Add sv-comp CI run Build #1113: Pull request #541 synchronize by Jezurko
April 22, 2024 09:27 9m 23s svcomp-ci
svcomp-ci
April 22, 2024 09:27 9m 23s
PR #541 CodeQL #700: by Jezurko
April 22, 2024 09:21 1m 46s svcomp-ci
svcomp-ci
April 22, 2024 09:21 1m 46s
Add sv-comp CI run Build #1112: Pull request #541 synchronize by Jezurko
April 22, 2024 09:21 9m 9s svcomp-ci
svcomp-ci
April 22, 2024 09:21 9m 9s
Add sv-comp CI run Linters #548: Pull request #541 synchronize by Jezurko
April 22, 2024 09:21 1m 17s svcomp-ci
svcomp-ci
April 22, 2024 09:21 1m 17s
gh: Simplify one-line arguments in prerelease action. Pre Release #184: Commit c00a768 pushed by Jezurko
April 22, 2024 09:21 Failure svcomp-ci
svcomp-ci
April 22, 2024 09:21 Failure
Scheduled CodeQL #699: by github-advanced-security bot
April 22, 2024 05:32 1m 49s master
master
April 22, 2024 05:32 1m 49s
New codegen scopes infrastructure Linters #547: Pull request #532 synchronize by xlauko
April 19, 2024 10:57 16m 41s codegen-scopes
codegen-scopes
April 19, 2024 10:57 16m 41s
New codegen scopes infrastructure Build #1111: Pull request #532 synchronize by xlauko
April 19, 2024 10:57 6m 7s codegen-scopes
codegen-scopes
April 19, 2024 10:57 6m 7s
PR #532 CodeQL #698: by xlauko
April 19, 2024 10:57 1m 42s codegen-scopes
codegen-scopes
April 19, 2024 10:57 1m 42s
pages build and deployment pages-build-deployment #48: by github-pages bot
April 18, 2024 15:41 27s gh-pages
gh-pages
April 18, 2024 15:41 27s
Pre Release Pre Release #183: completed by lkorenc
April 18, 2024 15:33 8m 16s
April 18, 2024 15:33 8m 16s
LLVM test suite LLVM test suite #49: completed by lkorenc
April 18, 2024 15:10 23m 12s
April 18, 2024 15:10 23m 12s
Push on master CodeQL #697: by lkorenc
April 18, 2024 15:01 1m 47s master
master
April 18, 2024 15:01 1m 47s
abi: Obliterate obsolete TodoOp. Build #1110: Commit 0e9ab64 pushed by lkorenc
April 18, 2024 15:01 9m 5s master
master
April 18, 2024 15:01 9m 5s
PR #506 CodeQL #696: by xlauko
April 18, 2024 14:50 1m 50s core-linkage-parsing
core-linkage-parsing
April 18, 2024 14:50 1m 50s
Core linkage parsing Build #1109: Pull request #506 synchronize by xlauko
April 18, 2024 14:50 9m 24s core-linkage-parsing
core-linkage-parsing
April 18, 2024 14:50 9m 24s
Core linkage parsing Linters #546: Pull request #506 synchronize by xlauko
April 18, 2024 14:50 4m 11s core-linkage-parsing
core-linkage-parsing
April 18, 2024 14:50 4m 11s
PR #506 CodeQL #695: by xlauko
April 18, 2024 14:45 2m 4s core-linkage-parsing
core-linkage-parsing
April 18, 2024 14:45 2m 4s