CI (Coq, Debian)

Bump rewriter from `e2721fc` to `2f9a755` #153

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bookworm	4h 7m 39s
sid	4h 6m 51s
test-amd64	4h 14m 26s
	12h 28m 56s