continuous integration

Update Mathlib/Order/SuccPred/Archimedean.lean #130209

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	1m 9s
Build	46m 54s
Cancel Previous Runs (CI)	3s
Post-CI job	12s
	48m 18s