Skip to content

Actions: SVF-tools/Teaching-Software-Verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 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 #883: Repository dispatch triggered by yuleisui
58m 51s
58m 51s
new-commit-from-SVF Docker #882: Repository dispatch triggered by yuleisui
1h 7m 35s
1h 7m 35s
new-commit-from-SVF Docker #881: Repository dispatch triggered by yuleisui
1h 0m 52s
1h 0m 52s
new-commit-from-SVF Docker #880: Repository dispatch triggered by yuleisui
1h 2m 56s
1h 2m 56s
new-commit-from-SVF Docker #879: Repository dispatch triggered by yuleisui
1h 4m 40s
1h 4m 40s
new-commit-from-SVF Docker #878: Repository dispatch triggered by yuleisui
1h 6m 4s
1h 6m 4s
new-commit-from-SVF Docker #877: Repository dispatch triggered by yuleisui
1h 2m 8s
1h 2m 8s
new-commit-from-SVF Docker #876: Repository dispatch triggered by yuleisui
1h 3m 53s
1h 3m 53s
new-commit-from-SVF Docker #875: Repository dispatch triggered by yuleisui
1h 2m 20s
1h 2m 20s
Merge pull request #34 from bjjwwang/fix/drop-ubuntu-toolchain-r-ppa Docker #874: Commit 3a5593e pushed by bjjwwang
47m 24s main
main
47m 24s
Merge pull request #34 from bjjwwang/fix/drop-ubuntu-toolchain-r-ppa svf-teaching #155: Commit 3a5593e pushed by bjjwwang
1m 41s main
main
1m 41s
Drop ppa:ubuntu-toolchain-r/test — Launchpad flake on CI svf-teaching #154: Pull request #34 opened by bjjwwang
1m 51s bjjwwang:fix/drop-ubuntu-toolchain-r-ppa
bjjwwang:fix/drop-ubuntu-toolchain-r-ppa
1m 51s
Merge pull request #33 from bjjwwang/sync/llvm-21-no-deadsnakes svf-teaching #153: Commit 057b4a6 pushed by bjjwwang
3m 30s main
main
3m 30s
Merge pull request #33 from bjjwwang/sync/llvm-21-no-deadsnakes Docker #873: Commit 057b4a6 pushed by bjjwwang
1h 7m 54s main
main
1h 7m 54s
Sync to upstream SVF: LLVM 21.1.0, drop deadsnakes PPA svf-teaching #152: Pull request #33 opened by bjjwwang
2m 48s bjjwwang:sync/llvm-21-no-deadsnakes
bjjwwang:sync/llvm-21-no-deadsnakes
2m 48s
new-commit-from-SVF Docker #872: Repository dispatch triggered by yuleisui
3m 12s
3m 12s
new-commit-from-SVF Docker #871: Repository dispatch triggered by yuleisui
3m 10s
3m 10s
new-commit-from-SVF Docker #870: Repository dispatch triggered by yuleisui
6m 37s
6m 37s
new-commit-from-SVF Docker #869: Repository dispatch triggered by yuleisui
1h 2m 39s
1h 2m 39s
new-commit-from-SVF Docker #868: Repository dispatch triggered by yuleisui
1h 4m 31s
1h 4m 31s
new-commit-from-SVF Docker #867: Repository dispatch triggered by yuleisui
57m 36s
57m 36s
new-commit-from-SVF Docker #866: Repository dispatch triggered by yuleisui
57m 1s
57m 1s
new-commit-from-SVF Docker #865: Repository dispatch triggered by yuleisui
1h 3m 43s
1h 3m 43s
new-commit-from-SVF Docker #864: Repository dispatch triggered by yuleisui
54m 51s
54m 51s
new-commit-from-SVF Docker #863: Repository dispatch triggered by yuleisui
1h 0m 38s
1h 0m 38s