continuous integration (staging)

feat(ModelTheory/Order): Countable dense linear orders are Fraïssé li… #10333

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	4s
check workflows	10s
Lint style	40s
Build	8m 43s
Post-CI job	9s
	9m 46s