Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
711 workflow runs
711 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1349: Pull request #411 synchronize by jcp19
35s use-ra-formalization
use-ra-formalization
35s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Run 'go test' #1965: Pull request #411 synchronize by jcp19
50s use-ra-formalization
use-ra-formalization
50s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify the router and its dependencies #2471: Pull request #411 synchronize by jcp19
34m 59s use-ra-formalization
use-ra-formalization
34m 59s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Run 'go test' #1964: Pull request #411 synchronize by jcp19
51s use-ra-formalization
use-ra-formalization
51s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify the router and its dependencies #2470: Pull request #411 synchronize by jcp19
34m 47s use-ra-formalization
use-ra-formalization
34m 47s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1348: Pull request #411 synchronize by jcp19
34s use-ra-formalization
use-ra-formalization
34s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify the router and its dependencies #2469: Pull request #411 synchronize by jcp19
34m 18s use-ra-formalization
use-ra-formalization
34m 18s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1347: Pull request #411 synchronize by jcp19
34s use-ra-formalization
use-ra-formalization
34s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Run 'go test' #1963: Pull request #411 synchronize by jcp19
55s use-ra-formalization
use-ra-formalization
55s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify the router and its dependencies #2468: Pull request #411 opened by jcp19
37m 8s use-ra-formalization
use-ra-formalization
37m 8s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Verify bitwise operations in Dafny #1346: Pull request #411 opened by jcp19
40s use-ra-formalization
use-ra-formalization
40s
Formalize Authoritative RA from SCION in terms of RA from the gobra-libs Run 'go test' #1962: Pull request #411 opened by jcp19
54s use-ra-formalization
use-ra-formalization
54s
Delete old CI file; adapt to the latest version of gobra (#410) Run 'go test' #1961: Commit dfbb562 pushed by jcp19
49s master
master
49s