CI (Coq, MacOS)

Bump rewriter from `90549d8` to `604362b` #4241

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	3h 16m 26s
publish-standalone	15s
test-standalone	20s
macos-check-all	1s
	3h 17m 2s