Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
423 workflow runs
423 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
Fix termination and permission issues .github/workflows/bors.yml #1939: Commit 63de3e0 pushed by DovydasVad
Failure da-addr-4-v2
da-addr-4-v2
Failure
Replace custom Asserting function with built-in asserting keyword Verify the router and its dependencies #2499: Pull request #421 opened by jcp19
33m 7s claude/gifted-shannon-fbqrr0
claude/gifted-shannon-fbqrr0
33m 7s
Replace custom Asserting function with built-in asserting keyword Verify bitwise operations in Dafny #1377: Pull request #421 opened by jcp19
47s claude/gifted-shannon-fbqrr0
claude/gifted-shannon-fbqrr0
47s
Replace custom Asserting function with built-in asserting keyword Run 'go test' #1993: Pull request #421 opened by jcp19
49s claude/gifted-shannon-fbqrr0
claude/gifted-shannon-fbqrr0
49s
Re-enable chopper in the CI (#420) Run 'go test' #1992: Commit 4524a9d pushed by jcp19
55s master
master
55s
Re-enable chopper in the CI (#420) Verify the router and its dependencies #2498: Commit 4524a9d pushed by jcp19
35m 43s master
master
35m 43s
Re-enable chopper in the CI (#420) Verify bitwise operations in Dafny #1376: Commit 4524a9d pushed by jcp19
38s master
master
38s
Re-enable chopper in the CI Verify bitwise operations in Dafny #1375: Pull request #420 opened by jcp19
42s jcp19-patch-3
jcp19-patch-3
42s
Re-enable chopper in the CI Verify the router and its dependencies #2497: Pull request #420 opened by jcp19
34m 11s jcp19-patch-3
jcp19-patch-3
34m 11s
Re-enable chopper in the CI Run 'go test' #1991: Pull request #420 opened by jcp19
1m 9s jcp19-patch-3
jcp19-patch-3
1m 9s
Evaluate impact of folding definitions Run 'go test' #1990: Pull request #417 synchronize by jcp19
55s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
55s
Evaluate impact of folding definitions Verify bitwise operations in Dafny #1374: Pull request #417 synchronize by jcp19
40s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
40s
Evaluate impact of folding definitions Verify the router and its dependencies #2496: Pull request #417 synchronize by jcp19
29m 6s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
29m 6s
Evaluate impact of folding definitions Run 'go test' #1989: Pull request #417 synchronize by jcp19
51s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
51s
Evaluate impact of folding definitions Verify bitwise operations in Dafny #1373: Pull request #417 synchronize by jcp19
35s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
35s
Evaluate impact of folding definitions Verify the router and its dependencies #2495: Pull request #417 synchronize by jcp19
6h 0m 18s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
6h 0m 18s
Evaluate impact of folding definitions Run 'go test' #1988: Pull request #417 synchronize by jcp19
49s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
49s
Evaluate impact of folding definitions Verify the router and its dependencies #2494: Pull request #417 synchronize by jcp19
1m 39s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
1m 39s
Evaluate impact of folding definitions Verify bitwise operations in Dafny #1372: Pull request #417 synchronize by jcp19
39s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
39s
Evaluate impact of folding definitions Verify bitwise operations in Dafny #1371: Pull request #417 synchronize by jcp19
41s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
41s
Evaluate impact of folding definitions Run 'go test' #1987: Pull request #417 synchronize by jcp19
1m 0s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
1m 0s
Evaluate impact of folding definitions Verify the router and its dependencies #2493: Pull request #417 synchronize by jcp19
1m 50s claude/awesome-keller-ciZwp
claude/awesome-keller-ciZwp
1m 50s
drop outline blocks in Run Verify the router and its dependencies #2492: Pull request #418 synchronize by jcp19
42m 17s jcp19-patch-2
jcp19-patch-2
42m 17s
drop outline blocks in Run Run 'go test' #1986: Pull request #418 synchronize by jcp19
54s jcp19-patch-2
jcp19-patch-2
54s
drop outline blocks in Run Verify bitwise operations in Dafny #1370: Pull request #418 synchronize by jcp19
40s jcp19-patch-2
jcp19-patch-2
40s