Skip to content
Verify the router and its dependencies

Formalize Authoritative RA from SCION in terms of RA from the gobra-libs #2469

Sign in to view logs

Formalize Authoritative RA from SCION in terms of RA from the gobra-libs

Formalize Authoritative RA from SCION in terms of RA from the gobra-libs #2469

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify-router
34m 13s
verify-third-party-libs
2m 3s
verify-deps
16m 35s
52m 51s