CI (Coq, docker)

Allow leaving over shelved goals when debugging cache_term #558

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker (dev)	5m 53s
build-docker (8.16)	6m 10s
check-all-docker	1s
	12m 4s