Skip to content
Coq Tests

Smarter CI #1

Sign in to view logs

Smarter CI

Smarter CI #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Coq integration tests (8.4, 3.6)
4m 20s
Coq integration tests (8.5, 3.6)
4m 47s
Coq integration tests (8.6, 3.6)
5m 32s
Coq integration tests (8.7, 3.6)
5m 29s
Coq integration tests (8.8, 3.6)
5m 18s
Coq integration tests (8.9, 3.6)
5m 30s
Coq integration tests (8.10, 3.6)
4m 36s
Coq integration tests (8.11, 3.6)
5m 28s
Coq integration tests (8.12, 3.6)
5m 4s
Coq integration tests (8.13, 3.6)
4m 49s
Coq integration tests (8.14, 3.6)
5m 27s
Coq integration tests (8.15, 3.6)
5m 29s
Coq integration tests (8.16, 3.6)
4m 40s
Coq integration tests (8.17, 3.6)
4m 58s
Coq integration tests (master, 3.6)
10m 30s
1h 21m 57s