Skip to content

Actions: SVF-tools/Software-Security-Analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
300 workflow runs
300 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
latest commit Docker #437: Commit ee8ccdd pushed by bjjwwang
1h 13m 5s main
main
1h 13m 5s
latest commit build #318: Commit ee8ccdd pushed by bjjwwang
2m 39s main
main
2m 39s
Assignment-3: code template build #317: Commit 96ddff3 pushed by yuleisui
2m 12s main
main
2m 12s
Assignment-3: code template Docker #436: Commit 96ddff3 pushed by yuleisui
1h 16m 2s main
main
1h 16m 2s
Assignment-3: split harness into AEHelper/AEReporter, hand 3 driver build #316: Pull request #70 synchronize by bjjwwang
2m 33s bjjwwang:refactor/ass3-helper-cleanup
bjjwwang:refactor/ass3-helper-cleanup
2m 33s
Assignment-3: split harness into AEHelper/AEReporter, hand 3 driver build #315: Pull request #70 synchronize by bjjwwang
2m 18s bjjwwang:refactor/ass3-helper-cleanup
bjjwwang:refactor/ass3-helper-cleanup
2m 18s
Assignment-3: split harness into AEHelper/AEReporter, hand 3 driver build #314: Pull request #70 synchronize by bjjwwang
2m 22s bjjwwang:refactor/ass3-helper-cleanup
bjjwwang:refactor/ass3-helper-cleanup
2m 22s
Assignment-3: split harness into AEHelper/AEReporter, hand 3 driver build #313: Pull request #70 opened by bjjwwang
2m 13s bjjwwang:refactor/ass3-helper-cleanup
bjjwwang:refactor/ass3-helper-cleanup
2m 13s
Merge pull request #69 from bjjwwang/refactor/ass3-helper-cleanup build #312: Commit 2cfd3d0 pushed by yuleisui
2m 25s main
main
2m 25s
Merge pull request #69 from bjjwwang/refactor/ass3-helper-cleanup Docker #435: Commit 2cfd3d0 pushed by yuleisui
1h 5m 18s main
main
1h 5m 18s
Assignment-3: AE redesign skeleton, harness cleanup, and SVF parity build #311: Pull request #69 opened by bjjwwang
2m 14s bjjwwang:refactor/ass3-helper-cleanup
bjjwwang:refactor/ass3-helper-cleanup
2m 14s
Merge pull request #68 from bjjwwang/ass3-ae-2026-skeleton Docker #434: Commit 9b3b609 pushed by yuleisui
1h 6m 43s main
main
1h 6m 43s
Merge pull request #68 from bjjwwang/ass3-ae-2026-skeleton build #310: Commit 9b3b609 pushed by yuleisui
2m 19s main
main
2m 19s
Assignment-3: 2026 AE redesign skeleton + minimal test set build #309: Pull request #68 synchronize by bjjwwang
2m 45s bjjwwang:ass3-ae-2026-skeleton
bjjwwang:ass3-ae-2026-skeleton
2m 45s
Assignment-3: 2026 AE redesign skeleton + minimal test set build #308: Pull request #68 opened by bjjwwang
1m 45s bjjwwang:ass3-ae-2026-skeleton
bjjwwang:ass3-ae-2026-skeleton
1m 45s
new-commit-from-SVF Docker #433: Repository dispatch triggered by yuleisui
7m 39s
7m 39s
new-commit-from-SVF Docker #432: Repository dispatch triggered by yuleisui
7m 4s
7m 4s
new-commit-from-SVF Docker #431: Repository dispatch triggered by yuleisui
1h 12m 33s
1h 12m 33s
Merge pull request #67 from SVF-tools/hanyuan/vscode-extensions Docker #430: Commit b5fcacd pushed by yuleisui
1h 13m 54s main
main
1h 13m 54s
Merge pull request #67 from SVF-tools/hanyuan/vscode-extensions build #307: Commit b5fcacd pushed by yuleisui
3m 34s main
main
3m 34s
Add VS Code extension recommendations build #306: Pull request #67 opened by hanyuone
2m 18s hanyuan/vscode-extensions
hanyuan/vscode-extensions
2m 18s
feat: add recommended Python extensions for VS Code build #305: Commit 3f8532f pushed by hanyuone
2m 24s hanyuan/vscode-extensions
hanyuan/vscode-extensions
2m 24s
Merge pull request #66 from SVF-tools/hanyuan/docker-pysvf Docker #429: Commit d19bdb2 pushed by yuleisui
1h 5m 28s main
main
1h 5m 28s
Merge pull request #66 from SVF-tools/hanyuan/docker-pysvf build #304: Commit d19bdb2 pushed by yuleisui
2m 22s main
main
2m 22s
Update pysvf pip install to be on PyPI over TestPyPI build #303: Pull request #66 opened by hanyuone
2m 21s hanyuan/docker-pysvf
hanyuan/docker-pysvf
2m 21s