Skip to content

Actions: viperproject/VerifiedSCION

Run 'go test'

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
Run 'go test' #1819: Pull request #387 synchronize by jcp19
January 9, 2025 15:26 1m 0s drop_fractions_functions
January 9, 2025 15:26 1m 0s
Refactor parts of scion_spec.gobra for proof stability
Run 'go test' #1812: Pull request #389 synchronize by jcp19
January 7, 2025 17:08 1m 0s drop_fractions_functions2_test
January 7, 2025 17:08 1m 0s
Reenable chopper
Run 'go test' #1811: Pull request #379 synchronize by jcp19
January 7, 2025 17:06 1m 1s jcp19-patch-2
January 7, 2025 17:06 1m 1s
simplify post of SCION.SerializeTo
Run 'go test' #1809: Pull request #390 opened by jcp19
January 7, 2025 15:40 55s simplify-contract-serializeTo-scion
January 7, 2025 15:40 55s
Run 'go test'
Run 'go test' #1808: by jcp19
January 7, 2025 15:38 56s master
January 7, 2025 15:38 56s
Reenable chopper
Run 'go test' #1807: Pull request #379 synchronize by jcp19
January 7, 2025 15:31 1m 1s jcp19-patch-2
January 7, 2025 15:31 1m 1s
Run 'go test'
Run 'go test' #1806: by jcp19
January 7, 2025 15:30 59s master
January 7, 2025 15:30 59s
Refactor parts of scion_spec.gobra for proof stability
Run 'go test' #1805: Pull request #389 opened by jcp19
January 7, 2025 15:17 1m 12s drop_fractions_functions2_test
January 7, 2025 15:17 1m 12s
Drop specific permission amounts in pure functions's preconditions
Run 'go test' #1803: Pull request #387 synchronize by jcp19
January 7, 2025 09:34 1m 2s drop_fractions_functions
January 7, 2025 09:34 1m 2s
Drop specific permission amounts in pure functions's preconditions
Run 'go test' #1799: Pull request #387 synchronize by jcp19
December 20, 2024 22:07 55s drop_fractions_functions
December 20, 2024 22:07 55s
Drop specific permission amounts in pure functions's preconditions
Run 'go test' #1798: Pull request #387 synchronize by jcp19
December 20, 2024 19:11 53s drop_fractions_functions
December 20, 2024 19:11 53s
Drop specific permission amounts in pure functions's preconditions
Run 'go test' #1797: Pull request #387 synchronize by jcp19
December 20, 2024 17:49 58s drop_fractions_functions
December 20, 2024 17:49 58s
Add MWE for proving SIF
Run 'go test' #1796: Pull request #386 synchronize by jcp19
December 19, 2024 12:37 52s henriman:master
December 19, 2024 12:37 52s
Reenable chopper
Run 'go test' #1795: Pull request #379 synchronize by jcp19
December 19, 2024 12:35 1m 2s jcp19-patch-2
December 19, 2024 12:35 1m 2s