Skip to content

Actions: viperproject/VerifiedSCION

Actions

Verify the router and its dependencies

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gobra.yml
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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 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 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 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 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 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 the router and its dependencies #2468: Pull request #411 opened by jcp19
37m 8s use-ra-formalization
use-ra-formalization
37m 8s
Delete old CI file; adapt to the latest version of gobra (#410) Verify the router and its dependencies #2467: Commit dfbb562 pushed by jcp19
37m 29s master
master
37m 29s
Delete old CI file; adapt to the latest version of gobra Verify the router and its dependencies #2466: Pull request #410 synchronize by jcp19
36m 48s run-ci
run-ci
36m 48s
Delete old CI file; adapt to the latest version of gobra Verify the router and its dependencies #2465: Pull request #410 synchronize by jcp19
36m 16s run-ci
run-ci
36m 16s
Delete old CI file; adapt to the latest version of gobra Verify the router and its dependencies #2464: Pull request #410 synchronize by jcp19
41m 45s run-ci
run-ci
41m 45s
Delete old CI file; adapt to the latest version of gobra Verify the router and its dependencies #2463: Pull request #410 synchronize by jcp19
35m 6s run-ci
run-ci
35m 6s
Delete old CI file; adapt to the latest version of gobra Verify the router and its dependencies #2462: Pull request #410 opened by jcp19
37m 51s run-ci
run-ci
37m 51s
Move "MAC assumption" deeper Verify the router and its dependencies #2461: Pull request #399 synchronize by henriman
1h 0m 21s henriman:mac-assumption
henriman:mac-assumption
1h 0m 21s
Move "MAC assumption" deeper Verify the router and its dependencies #2460: Pull request #399 synchronize by henriman
1h 0m 8s henriman:mac-assumption
henriman:mac-assumption
1h 0m 8s
Move "MAC assumption" deeper Verify the router and its dependencies #2459: Pull request #399 synchronize by henriman
1h 0m 1s henriman:mac-assumption
henriman:mac-assumption
1h 0m 1s
Move "MAC assumption" deeper Verify the router and its dependencies #2458: Pull request #399 synchronize by henriman
1h 0m 32s henriman:mac-assumption
henriman:mac-assumption
1h 0m 32s
[WIP] SIF Verify the router and its dependencies #2457: Pull request #394 synchronize by henriman
1m 51s henriman:sif-io-spec
henriman:sif-io-spec
1m 51s
Adapt to use the new integer type and to pass stricter overflow checks Verify the router and its dependencies #2456: Pull request #407 synchronize by jcp19
18s fix-overflow-checks
fix-overflow-checks
18s
Adapt to use the new integer type and to pass stricter overflow checks Verify the router and its dependencies #2455: Pull request #407 synchronize by jcp19
20s fix-overflow-checks
fix-overflow-checks
20s
Adapt to use the new integer type and to pass stricter overflow checks Verify the router and its dependencies #2454: Pull request #407 synchronize by jcp19
17s fix-overflow-checks
fix-overflow-checks
17s
Adapt to use the new integer type and to pass stricter overflow checks Verify the router and its dependencies #2453: Pull request #407 synchronize by jcp19
16s fix-overflow-checks
fix-overflow-checks
16s
Adapt to use the new integer type and to pass stricter overflow checks Verify the router and its dependencies #2452: Pull request #407 synchronize by jcp19
18s fix-overflow-checks
fix-overflow-checks
18s