Skip to content

Actions: SVF-tools/Software-Security-Analysis

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
98 workflow runs
98 workflow runs

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
Merge remote-tracking branch 'origin/main' build #320: Commit 9d2a80f pushed by mbarbar
2m 45s main
main
2m 45s
Edit getEvalExpr comment build #319: Commit 1798f70 pushed by mbarbar
2m 21s main
main
2m 21s
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: 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
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 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
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 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
fix: pysvf is no longer on test pypi build #302: Commit c52cb63 pushed by hanyuone
2m 30s hanyuan/docker-pysvf
hanyuan/docker-pysvf
2m 30s
Merge pull request #64 from hanyuone/main build #301: Commit b686f57 pushed by yuleisui
2m 12s main
main
2m 12s
Install ipykernel in Dockerfile build #300: Pull request #64 opened by hanyuone
4m 3s hanyuone:main
hanyuone:main
4m 3s
Update environment paths for LLVM 21 build #299: Commit 3ae8aca pushed by bjjwwang
2m 40s main
main
2m 40s
Merge pull request #63 from bjjwwang/fix/drop-ubuntu-toolchain-r-ppa build #298: Commit bab4556 pushed by bjjwwang
2m 22s main
main
2m 22s
Drop ppa:ubuntu-toolchain-r/test — Launchpad flake on CI build #297: Pull request #63 opened by bjjwwang
2m 44s bjjwwang:fix/drop-ubuntu-toolchain-r-ppa
bjjwwang:fix/drop-ubuntu-toolchain-r-ppa
2m 44s
Merge pull request #62 from bjjwwang/fix/port-Assignment3-to-Abstract… build #296: Commit 58d9949 pushed by bjjwwang
1m 43s main
main
1m 43s