continuous integration (staging)

docs(Combinatorics/SimpleGraph): line breaks and ends of sentences (#… #10425

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	40s
Cancel Previous Runs (CI)	5s
Build	9m 22s
check workflows	7s
Post-CI job	11s
	10m 25s