CI (Coq, docker, dev)

Only test full amd64 files in Docker CI #13

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master	2h 22m 11s
test-amd64	2h 18m 35s
docker-check-all	2s
	4h 40m 48s