Back to pull request #72

Adapt to https://github.com/math-comp/math-comp/pull/1354 #10

Sign in to view logs

Summary
Jobs
- coq
- fourcolor
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	40s
fourcolor	1m 31s
	2m 11s