Back to pull request #366

Drop two assumptions and merge validity criteria `StronglyValid` and `FullyValid` #2155

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-router	43m 47s
verify-deps	18m 24s
	1h 2m 11s