continuous integration

fixes for fun_prop for leanprover/lean4#6503 #143353

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	1m 10s
Cancel Previous Runs (CI)	4s
Build	22m 54s
Post-CI job	0s
	24m 8s