Skip to content

Actions: viperproject/VerifiedSCION

Verify the router and its dependencies

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,131 workflow runs
1,131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2325: Pull request #387 synchronize by jcp19
January 9, 2025 15:26 5m 22s drop_fractions_functions
January 9, 2025 15:26 5m 22s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2324: Pull request #387 synchronize by jcp19
January 9, 2025 14:35 5m 38s drop_fractions_functions
January 9, 2025 14:35 5m 38s
Drop unnecessary param in IsValidResultOfDecoding
Verify the router and its dependencies #2323: Pull request #391 opened by jcp19
January 9, 2025 10:27 52m 22s simplify-isvalidresultdecoding
January 9, 2025 10:27 52m 22s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2322: Pull request #387 synchronize by jcp19
January 8, 2025 20:47 7m 30s drop_fractions_functions
January 8, 2025 20:47 7m 30s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2321: Pull request #387 synchronize by jcp19
January 7, 2025 17:14 5m 39s drop_fractions_functions
January 7, 2025 17:14 5m 39s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2320: Pull request #387 synchronize by jcp19
January 7, 2025 17:14 7m 0s drop_fractions_functions
January 7, 2025 17:14 7m 0s
Refactor parts of scion_spec.gobra for proof stability
Verify the router and its dependencies #2319: Pull request #389 synchronize by jcp19
January 7, 2025 17:09 5m 33s drop_fractions_functions2_test
January 7, 2025 17:09 5m 33s
Refactor parts of scion_spec.gobra for proof stability
Verify the router and its dependencies #2318: Pull request #389 synchronize by jcp19
January 7, 2025 17:08 5m 29s drop_fractions_functions2_test
January 7, 2025 17:08 5m 29s
Reenable chopper
Verify the router and its dependencies #2317: Pull request #379 synchronize by jcp19
January 7, 2025 17:06 54m 11s jcp19-patch-2
January 7, 2025 17:06 54m 11s
Refactor parts of scion_spec.gobra for proof stability
Verify the router and its dependencies #2316: Pull request #389 synchronize by jcp19
January 7, 2025 16:20 5m 14s drop_fractions_functions2_test
January 7, 2025 16:20 5m 14s
simplify post of SCION.SerializeTo
Verify the router and its dependencies #2315: Pull request #390 opened by jcp19
January 7, 2025 15:40 57m 45s simplify-contract-serializeTo-scion
January 7, 2025 15:40 57m 45s
Verify the router and its dependencies
Verify the router and its dependencies #2314: by jcp19
January 7, 2025 15:38 49m 24s master
January 7, 2025 15:38 49m 24s
Reenable chopper
Verify the router and its dependencies #2313: Pull request #379 synchronize by jcp19
January 7, 2025 15:31 53m 21s jcp19-patch-2
January 7, 2025 15:31 53m 21s
Verify the router and its dependencies
Verify the router and its dependencies #2312: by jcp19
January 7, 2025 15:30 51m 49s master
January 7, 2025 15:30 51m 49s
Refactor parts of scion_spec.gobra for proof stability
Verify the router and its dependencies #2311: Pull request #389 opened by jcp19
January 7, 2025 15:17 6m 51s drop_fractions_functions2_test
January 7, 2025 15:17 6m 51s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2310: Pull request #387 synchronize by jcp19
January 7, 2025 10:50 5m 37s drop_fractions_functions
January 7, 2025 10:50 5m 37s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2309: Pull request #387 synchronize by jcp19
January 7, 2025 09:34 6m 21s drop_fractions_functions
January 7, 2025 09:34 6m 21s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2308: Pull request #387 synchronize by jcp19
January 6, 2025 19:55 5m 30s drop_fractions_functions
January 6, 2025 19:55 5m 30s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2307: Pull request #387 synchronize by jcp19
January 6, 2025 19:24 6m 44s drop_fractions_functions
January 6, 2025 19:24 6m 44s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2306: Pull request #387 synchronize by jcp19
January 6, 2025 18:26 5m 11s drop_fractions_functions
January 6, 2025 18:26 5m 11s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2305: Pull request #387 synchronize by jcp19
December 20, 2024 22:07 5m 21s drop_fractions_functions
December 20, 2024 22:07 5m 21s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2304: Pull request #387 synchronize by jcp19
December 20, 2024 19:11 32m 49s drop_fractions_functions
December 20, 2024 19:11 32m 49s
Drop specific permission amounts in pure functions's preconditions
Verify the router and its dependencies #2303: Pull request #387 synchronize by jcp19
December 20, 2024 17:49 1h 7m 6s drop_fractions_functions
December 20, 2024 17:49 1h 7m 6s
Add MWE for proving SIF
Verify the router and its dependencies #2302: Pull request #386 synchronize by jcp19
December 19, 2024 12:37 52m 58s henriman:master
December 19, 2024 12:37 52m 58s
Reenable chopper
Verify the router and its dependencies #2301: Pull request #379 synchronize by jcp19
December 19, 2024 12:35 53m 2s jcp19-patch-2
December 19, 2024 12:35 53m 2s