continuous integration (staging)

chore(MeasureTheory/Function): golf some proofs (#7588) #4807

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	4s
Lint style	25s
Check all files imported	11s
Build	1h 33m 45s
Post-CI job	14s
	1h 34m 39s