Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
912 workflow runs
912 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 according to new visibility rules Verify the router and its dependencies #2690: Pull request #433 synchronize by jcp19
1h 12m 19s claude/scion-visibility-rules-dvh0uo
claude/scion-visibility-rules-dvh0uo
1h 12m 19s
Adapt according to new visibility rules Verify bitwise operations in Dafny #1567: Pull request #433 synchronize by jcp19
39s claude/scion-visibility-rules-dvh0uo
claude/scion-visibility-rules-dvh0uo
39s
Adapt according to new visibility rules Run 'go test' #2183: Pull request #433 synchronize by jcp19
55s claude/scion-visibility-rules-dvh0uo
claude/scion-visibility-rules-dvh0uo
55s
Adapt according to new visibility rules Verify bitwise operations in Dafny #1566: Pull request #433 synchronize by jcp19
37s claude/scion-visibility-rules-dvh0uo
claude/scion-visibility-rules-dvh0uo
37s
Adapt according to new visibility rules Verify the router and its dependencies #2689: Pull request #433 synchronize by jcp19
57m 21s claude/scion-visibility-rules-dvh0uo
claude/scion-visibility-rules-dvh0uo
57m 21s
Adapt according to new visibility rules Run 'go test' #2182: Pull request #433 synchronize by jcp19
54s claude/scion-visibility-rules-dvh0uo
claude/scion-visibility-rules-dvh0uo
54s
Allow routers to own a subset of the interfaces of their AS (#439) Verify the router and its dependencies #2688: Commit 2bb181a pushed by jcp19
1h 27m 31s master
master
1h 27m 31s
Allow routers to own a subset of the interfaces of their AS (#439) Verify bitwise operations in Dafny #1565: Commit 2bb181a pushed by jcp19
39s master
master
39s
Allow routers to own a subset of the interfaces of their AS (#439) Run 'go test' #2181: Commit 2bb181a pushed by jcp19
56s master
master
56s
Allow routers to own a subset of the interfaces of their AS Run 'go test' #2180: Pull request #439 synchronize by jcp19
51s claude/scion-as-routers-egress-hjk1f4
claude/scion-as-routers-egress-hjk1f4
51s
Allow routers to own a subset of the interfaces of their AS Verify bitwise operations in Dafny #1564: Pull request #439 synchronize by jcp19
44s claude/scion-as-routers-egress-hjk1f4
claude/scion-as-routers-egress-hjk1f4
44s
Allow routers to own a subset of the interfaces of their AS Verify the router and its dependencies #2687: Pull request #439 synchronize by jcp19
1h 21m 13s claude/scion-as-routers-egress-hjk1f4
claude/scion-as-routers-egress-hjk1f4
1h 21m 13s
Adapt according to nilness-checking changes in Gobra (#431) Run 'go test' #2179: Commit f9388bd pushed by jcp19
59s master
master
59s
Adapt according to nilness-checking changes in Gobra (#431) Verify bitwise operations in Dafny #1563: Commit f9388bd pushed by jcp19
35s master
master
35s
Adapt according to nilness-checking changes in Gobra (#431) Verify the router and its dependencies #2686: Commit f9388bd pushed by jcp19
1h 53m 37s master
master
1h 53m 37s
Adapt according to nilness-checking changes in Gobra Verify the router and its dependencies #2685: Pull request #431 synchronize by jcp19
1h 20m 1s strengthen-specs-nil
strengthen-specs-nil
1h 20m 1s
Adapt according to nilness-checking changes in Gobra Run 'go test' #2178: Pull request #431 synchronize by jcp19
52s strengthen-specs-nil
strengthen-specs-nil
52s
Adapt according to nilness-checking changes in Gobra Verify bitwise operations in Dafny #1562: Pull request #431 synchronize by jcp19
40s strengthen-specs-nil
strengthen-specs-nil
40s
Replace the float assumptions in experimental/epic by a lemma (#440) Verify the router and its dependencies #2684: Commit 6ed914d pushed by jcp19
1h 25m 37s master
master
1h 25m 37s
Replace the float assumptions in experimental/epic by a lemma (#440) Run 'go test' #2177: Commit 6ed914d pushed by jcp19
51s master
master
51s
Replace the float assumptions in experimental/epic by a lemma (#440) Verify bitwise operations in Dafny #1561: Commit 6ed914d pushed by jcp19
37s master
master
37s
Refactor packet parsing to use seq[byte] views instead of slice permissions Verify bitwise operations in Dafny #1560: Pull request #423 synchronize by jcp19
34s claude/byte-slice-parsing-refactor-rpfg0c
claude/byte-slice-parsing-refactor-rpfg0c
34s
Refactor packet parsing to use seq[byte] views instead of slice permissions Run 'go test' #2176: Pull request #423 synchronize by jcp19
52s claude/byte-slice-parsing-refactor-rpfg0c
claude/byte-slice-parsing-refactor-rpfg0c
52s
Refactor packet parsing to use seq[byte] views instead of slice permissions Verify the router and its dependencies #2683: Pull request #423 synchronize by jcp19
1h 10m 59s claude/byte-slice-parsing-refactor-rpfg0c
claude/byte-slice-parsing-refactor-rpfg0c
1h 10m 59s
Adapt according to new visibility rules Verify bitwise operations in Dafny #1559: Pull request #433 synchronize by jcp19
43s claude/scion-visibility-rules-dvh0uo
claude/scion-visibility-rules-dvh0uo
43s