CI (Coq, docker, dev)

rust: Include documentation comments for type alias. #716

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master	3h 34m 44s
test-amd64	2h 48m 54s
	6h 23m 38s