Verify the router and its dependencies

Delete old CI file; adapt to the latest version of gobra (#410) #2467

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-deps	14m 59s
verify-router	37m 25s
verify-third-party-libs	2m 1s
	54m 25s