Back to pull request #5906

feat: Upstream derive handler for `ToExpr` from Mathlib #25531

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	2s
Linux release	11m 23s
macOS aarch64	13m 44s
Build matrix complete	1s
release	0s
release-nightly	0s
	25m 10s