Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,616 workflow runs
4,616 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
drop_fractions_functions
January 9, 2025 15:26 1m 0s
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
drop_fractions_functions
January 9, 2025 15:26 5m 22s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1203: Pull request #387 synchronize by jcp19
January 9, 2025 15:26 24s drop_fractions_functions
drop_fractions_functions
January 9, 2025 15:26 24s
backup .github/workflows/bors.yml #1762: Commit c837096 pushed by jcp19
January 9, 2025 15:26 Failure drop_fractions_functions
drop_fractions_functions
January 9, 2025 15:26 Failure
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1202: Pull request #387 synchronize by jcp19
January 9, 2025 14:35 29s drop_fractions_functions
drop_fractions_functions
January 9, 2025 14:35 29s
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
drop_fractions_functions
January 9, 2025 14:35 5m 38s
Drop specific permission amounts in pure functions's preconditions Run 'go test' #1818: Pull request #387 synchronize by jcp19
January 9, 2025 14:35 56s drop_fractions_functions
drop_fractions_functions
January 9, 2025 14:35 56s
backup .github/workflows/bors.yml #1761: Commit 5176886 pushed by jcp19
January 9, 2025 14:35 Failure drop_fractions_functions
drop_fractions_functions
January 9, 2025 14:35 Failure
Drop unnecessary param in IsValidResultOfDecoding Run 'go test' #1817: Pull request #391 opened by jcp19
January 9, 2025 10:27 58s simplify-isvalidresultdecoding
simplify-isvalidresultdecoding
January 9, 2025 10:27 58s
Drop unnecessary param in IsValidResultOfDecoding Verify bitwise operations in Dafny #1201: Pull request #391 opened by jcp19
January 9, 2025 10:27 29s simplify-isvalidresultdecoding
simplify-isvalidresultdecoding
January 9, 2025 10:27 29s
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
simplify-isvalidresultdecoding
January 9, 2025 10:27 52m 22s
drop unnecessary param in IsValidResultOfDecoding .github/workflows/bors.yml #1760: Commit b37959e pushed by jcp19
January 9, 2025 10:26 Failure simplify-isvalidresultdecoding
simplify-isvalidresultdecoding
January 9, 2025 10:26 Failure
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
drop_fractions_functions
January 8, 2025 20:47 7m 30s
Drop specific permission amounts in pure functions's preconditions Run 'go test' #1816: Pull request #387 synchronize by jcp19
January 8, 2025 20:47 56s drop_fractions_functions
drop_fractions_functions
January 8, 2025 20:47 56s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1200: Pull request #387 synchronize by jcp19
January 8, 2025 20:47 29s drop_fractions_functions
drop_fractions_functions
January 8, 2025 20:47 29s
backup .github/workflows/bors.yml #1759: Commit b34f546 pushed by jcp19
January 8, 2025 20:47 Failure drop_fractions_functions
drop_fractions_functions
January 8, 2025 20:47 Failure
Revert "simplify post of SCION.SerializeTo" .github/workflows/bors.yml #1758: Commit 84ea83b pushed by jcp19
January 8, 2025 20:32 Failure master
master
January 8, 2025 20:32 Failure
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
drop_fractions_functions
January 7, 2025 17:14 5m 39s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1199: Pull request #387 synchronize by jcp19
January 7, 2025 17:14 20s drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 20s
Drop specific permission amounts in pure functions's preconditions Run 'go test' #1815: Pull request #387 synchronize by jcp19
January 7, 2025 17:14 53s drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 53s
Merge branch 'master' into drop_fractions_functions .github/workflows/bors.yml #1757: Commit 11eada7 pushed by jcp19
January 7, 2025 17:14 Failure drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 Failure
Drop specific permission amounts in pure functions's preconditions Run 'go test' #1814: Pull request #387 synchronize by jcp19
January 7, 2025 17:14 57s drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 57s
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
drop_fractions_functions
January 7, 2025 17:14 7m 0s
Drop specific permission amounts in pure functions's preconditions Verify bitwise operations in Dafny #1198: Pull request #387 synchronize by jcp19
January 7, 2025 17:14 24s drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 24s
Refactor parts of scion_spec.gobra for proof stability (#389) .github/workflows/bors.yml #1756: Commit ced08ce pushed by jcp19
January 7, 2025 17:14 Failure drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 Failure