Makefile CI

BLOCKED: refactor: replace `rewrite` with `mkEqNDRec` #2176

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest)	11m 56s
build (macos-14)	6m 11s
	18m 7s