continuous integration (staging)

chore: update Mathlib dependencies 2024-10-04 (#17397) #10823

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	8m 5s
Cancel Previous Runs (CI)	3s
Lint style	42s
Post-CI job	8s
	8m 58s