Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
597 workflow runs
597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pr 380 .github/workflows/bors.yml #1938: Commit 15c9c75 pushed by jcp19
Failure da-addr-6
da-addr-6
Failure
pr 378 .github/workflows/bors.yml #1937: Commit 2fe936b pushed by jcp19
Failure da-addr-5
da-addr-5
Failure
based on pr #181 .github/workflows/bors.yml #1936: Commit b3aedd2 pushed by jcp19
Failure da-addr-4
da-addr-4
Failure
pr 368, based on 2d69d42fd .github/workflows/bors.yml #1935: Commit 6295673 pushed by jcp19
Failure da-path-X11
da-path-X11
Failure
pr 368, based on 2d69d42fd .github/workflows/bors.yml #1934: Commit 6295673 pushed by jcp19
Failure da-path-X11
da-path-X11
Failure
pr 210, based on 5d9c8d86b .github/workflows/bors.yml #1933: Commit f345497 pushed by jcp19
Failure da-path-X8
da-path-X8
Failure
pr 354, based on 53f8e3039 .github/workflows/bors.yml #1932: Commit dfeadc7 pushed by jcp19
Failure da-path-X10
da-path-X10
Failure
pr 354, based on 53f8e3039 .github/workflows/bors.yml #1931: Commit c8de95d pushed by jcp19
Failure da-path-X10
da-path-X10
Failure
pr 248, based on 45d363935 .github/workflows/bors.yml #1930: Commit 4c87061 pushed by jcp19
Failure da-path-X9
da-path-X9
Failure
PR 181, based on da77a9e0b .github/workflows/bors.yml #1929: Commit 2e57ed8 pushed by jcp19
Failure da-path-X7
da-path-X7
Failure
Test strengthening specs of BatchConn Verify bitwise operations in Dafny #1354: Pull request #413 opened by jcp19
39s strengthen-spec-sends
strengthen-spec-sends
39s
Test strengthening specs of BatchConn Verify the router and its dependencies #2476: Pull request #413 opened by jcp19
2m 23s strengthen-spec-sends
strengthen-spec-sends
2m 23s
Test strengthening specs of BatchConn Run 'go test' #1970: Pull request #413 opened by jcp19
49s strengthen-spec-sends
strengthen-spec-sends
49s
Remove ghost Mutex, use invariants instead Verify bitwise operations in Dafny #1353: Pull request #412 opened by jcp19
38s invariants
invariants
38s
Remove ghost Mutex, use invariants instead Verify the router and its dependencies #2475: Pull request #412 opened by jcp19
15m 26s invariants
invariants
15m 26s
Remove ghost Mutex, use invariants instead Run 'go test' #1969: Pull request #412 opened by jcp19
51s invariants
invariants
51s
Formalize Authoritative RA from SCION in terms of RA from the gobra-l… Verify bitwise operations in Dafny #1352: Commit fdec91c pushed by jcp19
38s master
master
38s
Formalize Authoritative RA from SCION in terms of RA from the gobra-l… Run 'go test' #1968: Commit fdec91c pushed by jcp19
59s master
master
59s
Formalize Authoritative RA from SCION in terms of RA from the gobra-l… Verify the router and its dependencies #2474: Commit fdec91c pushed by jcp19
34m 51s master
master
34m 51s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Run 'go test' #1967: Pull request #411 synchronize by jcp19
57s use-ra-formalization
use-ra-formalization
57s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify the router and its dependencies #2473: Pull request #411 synchronize by jcp19
38m 3s use-ra-formalization
use-ra-formalization
38m 3s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1351: Pull request #411 synchronize by jcp19
42s use-ra-formalization
use-ra-formalization
42s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Run 'go test' #1966: Pull request #411 synchronize by jcp19
56s use-ra-formalization
use-ra-formalization
56s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify the router and its dependencies #2472: Pull request #411 synchronize by jcp19
36m 45s use-ra-formalization
use-ra-formalization
36m 45s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1350: Pull request #411 synchronize by jcp19
41s use-ra-formalization
use-ra-formalization
41s