Back to pull request #4784

chore: `Simp.Config.implicitDefEqProofs := true` by default #19113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	3s
Linux release	15m 4s
Build matrix complete	1s
release-nightly	0s
release	0s
	15m 8s