CI (Coq, Debian)

Bump rewriter from `5e74224` to `5d274d2` #194

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bookworm	3h 1m 37s
sid	4h 4m 22s
test-amd64	2h 35m 30s
	9h 41m 29s