CI (Coq, Debian)

Bump rupicola from `1c6bef7` to `6d4f40c` #105

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bookworm	3h 45m 8s
sid	3h 25m 34s
test-amd64	3h 51m 31s
	11h 2m 13s