continuous integration (staging)

chore: forward-port leanprover-community/mathlib#19234 (#5887) #3761

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check all files imported	7s
Build	1h 38m 4s
Lint style	13s
Cancel Previous Runs (CI)	5s
Post-CI job	9s
	1h 38m 38s