Verify the router and its dependencies

Refactor parts of scion_spec.gobra for proof stability #2318

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-router	5m 20s
verify-deps	1m 37s
	6m 57s