Skip to content

Actions: SVF-tools/Software-Security-Analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
288 workflow runs
288 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
new-commit-from-SVF Docker #504: Repository dispatch triggered by yuleisui
1h 5m 43s
1h 5m 43s
new-commit-from-SVF Docker #503: Repository dispatch triggered by yuleisui
1h 14m 31s
1h 14m 31s
new-commit-from-SVF Docker #502: Repository dispatch triggered by yuleisui
56m 35s
56m 35s
new-commit-from-SVF Docker #501: Repository dispatch triggered by yuleisui
1h 14m 4s
1h 14m 4s
new-commit-from-SVF Docker #500: Repository dispatch triggered by yuleisui
1h 9m 48s
1h 9m 48s
Merge pull request #93 from yuleisui/main build #388: Commit 0815511 pushed by yuleisui
2m 41s main
main
2m 41s
Merge pull request #93 from yuleisui/main Docker #499: Commit 0815511 pushed by yuleisui
1h 6m 22s main
main
1h 6m 22s
Merge pull request #92 from SVF-tools/hanyuan/aestate-clone Docker #498: Commit 556673e pushed by yuleisui
1h 10m 59s main
main
1h 10m 59s
Merge pull request #92 from SVF-tools/hanyuan/aestate-clone build #387: Commit 556673e pushed by yuleisui
2m 24s main
main
2m 24s
Merge pull request #89 from bjjwwang/ass2-python-test-harness-imports build #386: Commit c39c236 pushed by yuleisui
2m 3s main
main
2m 3s
Merge pull request #89 from bjjwwang/ass2-python-test-harness-imports Docker #497: Commit c39c236 pushed by yuleisui
1h 15m 12s main
main
1h 15m 12s
update Lab-Exercise-3 build #385: Pull request #93 synchronize by yuleisui
2m 20s yuleisui:main
yuleisui:main
2m 20s
update Lab-Exercise-3 build #384: Pull request #93 synchronize by yuleisui
1m 59s yuleisui:main
yuleisui:main
1m 59s
Running Copilot Code Review Copilot #2: by Copilot AI
2m 12s main
main
2m 12s
update Lab-Exercise-3 build #383: Pull request #93 opened by yuleisui
2m 24s yuleisui:main
yuleisui:main
2m 24s
Merge pull request #79 from yuleisui/main Docker #496: Commit 2c94518 pushed by yuleisui
1h 11m 39s main
main
1h 11m 39s
Merge pull request #79 from yuleisui/main build #382: Commit 2c94518 pushed by yuleisui
2m 26s main
main
2m 26s
Have AEState clone/widening/narrowing methods return type AEState build #381: Pull request #92 opened by hanyuone
2m 12s hanyuan/aestate-clone
hanyuan/aestate-clone
2m 12s
feat: have AEState clone/widening/narrowing methods return type AEState build #380: Commit 5fa4ce0 pushed by hanyuone
2m 36s hanyuan/aestate-clone
hanyuan/aestate-clone
2m 36s
Merge pull request #91 from SVF-tools/ass3/sync-marks build #379: Commit 5324c11 pushed by yuleisui
2m 19s main
main
2m 19s
Merge pull request #91 from SVF-tools/ass3/sync-marks Docker #495: Commit 5324c11 pushed by yuleisui
1h 14m 6s main
main
1h 14m 6s
FIX: sync wiki and local grading docs build #378: Pull request #91 opened by hanyuone
2m 2s ass3/sync-marks
ass3/sync-marks
2m 2s
fix: sync wiki and local grading docs build #377: Commit 59a5865 pushed by hanyuone
1m 59s ass3/sync-marks
ass3/sync-marks
1m 59s
Merge pull request #90 from bjjwwang/ass3-python-aehelper-ownership-p… Docker #494: Commit f6dca77 pushed by bjjwwang
1h 7m 32s main
main
1h 7m 32s
Merge pull request #90 from bjjwwang/ass3-python-aehelper-ownership-p… build #376: Commit f6dca77 pushed by bjjwwang
1m 53s main
main
1m 53s