Skip to content
Run 'go test'

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

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 #1964

Triggered via pull request January 1, 2026 23:13
@jcp19jcp19
synchronize #411
use-ra-formalization
Status Success
Total duration 51s
Artifacts –

go.yml

on: pull_request
build
47s
build
Fit to window
Zoom out
Zoom in