CI (Coq, Debian)

Bump coqprime from `431d7a6` to `f611fa4` (#1667) #130

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bookworm	3h 34m 50s
sid	3h 47m 53s
test-amd64	3h 46m 50s
	11h 9m 33s