CI (Coq, docker, dev)

Stop relying on `replace by` automatic `assumption`-based solving (#1… #706

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master	4h 5m 25s
test-amd64	2h 44m 47s
	6h 50m 12s