CI (Coq)

Bump coqprime from `f611fa4` to `d5935ca` (#1688) #4220

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
8.15.2	1h 0m 26s
8.14.1	1h 22m 24s
master	1h 31m 24s
check-all	9s
	3h 54m 23s