Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
948 workflow runs
948 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
Adapt to new version of z3 (4.16) and Viper (2026.09) (#438) Verify the router and its dependencies #2667: Commit df77786 pushed by jcp19
1h 14m 26s master
master
1h 14m 26s
Adapt to new version of z3 (4.16) and Viper (2026.09) (#438) Verify bitwise operations in Dafny #1544: Commit df77786 pushed by jcp19
52s master
master
52s
Adapt to new version of z3 (4.16) and Viper (2026.09) (#438) Run 'go test' #2160: Commit df77786 pushed by jcp19
54s master
master
54s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify bitwise operations in Dafny #1543: Pull request #438 synchronize by jcp19
48s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
48s
Adapt to new version of z3 (4.16) and Viper (2026.09) Run 'go test' #2159: Pull request #438 synchronize by jcp19
54s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
54s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify the router and its dependencies #2666: Pull request #438 synchronize by jcp19
57m 1s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
57m 1s
Adapt to new version of z3 (4.16) and Viper (2026.09) Run 'go test' #2158: Pull request #438 synchronize by jcp19
52s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
52s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify the router and its dependencies #2665: Pull request #438 synchronize by jcp19
6h 0m 19s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
6h 0m 19s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify bitwise operations in Dafny #1542: Pull request #438 synchronize by jcp19
43s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
43s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify the router and its dependencies #2664: Pull request #438 synchronize by jcp19
6h 0m 17s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
6h 0m 17s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify bitwise operations in Dafny #1541: Pull request #438 synchronize by jcp19
35s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
35s
Adapt to new version of z3 (4.16) and Viper (2026.09) Run 'go test' #2157: Pull request #438 synchronize by jcp19
1m 16s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
1m 16s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify the router and its dependencies #2663: Pull request #438 synchronize by jcp19
6h 0m 20s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
6h 0m 20s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify bitwise operations in Dafny #1540: Pull request #438 synchronize by jcp19
47s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
47s
Adapt to new version of z3 (4.16) and Viper (2026.09) Run 'go test' #2156: Pull request #438 synchronize by jcp19
56s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
56s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify the router and its dependencies #2662: Pull request #438 opened by jcp19
23m 13s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
23m 13s
Adapt to new version of z3 (4.16) and Viper (2026.09) Run 'go test' #2155: Pull request #438 opened by jcp19
58s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
58s
Adapt to new version of z3 (4.16) and Viper (2026.09) Verify bitwise operations in Dafny #1539: Pull request #438 opened by jcp19
34s claude/gobra-silver-z3-upgrade-gh9szn
claude/gobra-silver-z3-upgrade-gh9szn
34s
Make postcondition of processSCION explicit Run 'go test' #2154: Pull request #437 synchronize by jcp19
52s claude/scion-pktupdate-function-f6magg
claude/scion-pktupdate-function-f6magg
52s
Make postcondition of processSCION explicit Verify the router and its dependencies #2661: Pull request #437 synchronize by jcp19
28m 53s claude/scion-pktupdate-function-f6magg
claude/scion-pktupdate-function-f6magg
28m 53s
Make postcondition of processSCION explicit Verify bitwise operations in Dafny #1538: Pull request #437 synchronize by jcp19
43s claude/scion-pktupdate-function-f6magg
claude/scion-pktupdate-function-f6magg
43s
Disable non-linear arithmetic in 17 verification packages Run 'go test' #2153: Pull request #435 synchronize by jcp19
1m 1s claude/scion-nonlinear-arithmetic-verify-1wj115
claude/scion-nonlinear-arithmetic-verify-1wj115
1m 1s
Disable non-linear arithmetic in 17 verification packages Verify the router and its dependencies #2660: Pull request #435 synchronize by jcp19
18m 55s claude/scion-nonlinear-arithmetic-verify-1wj115
claude/scion-nonlinear-arithmetic-verify-1wj115
18m 55s
Disable non-linear arithmetic in 17 verification packages Verify bitwise operations in Dafny #1537: Pull request #435 synchronize by jcp19
39s claude/scion-nonlinear-arithmetic-verify-1wj115
claude/scion-nonlinear-arithmetic-verify-1wj115
39s
Disable non-linear arithmetic in 17 verification packages Verify bitwise operations in Dafny #1536: Pull request #435 synchronize by jcp19
31s claude/scion-nonlinear-arithmetic-verify-1wj115
claude/scion-nonlinear-arithmetic-verify-1wj115
31s