Skip to content
Cachix

typo in link #143

Sign in to view logs

typo in link

typo in link #143

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Computing matrix of tested versions
23s
Build mathcomp and coq combination (8.17, 1.17.0)
23s
Build mathcomp and coq combination (8.16, 1.17.0)
23s
Build mathcomp and coq combination (8.15, 1.17.0)
27s
Build mathcomp and coq combination (8.17, 1.16.0)
28s
Build mathcomp and coq combination (8.16, 1.16.0)
22s
Build mathcomp and coq combination (8.15, 1.16.0)
22s
Build mathcomp and coq combination (8.14, 1.16.0)
23s
Build mathcomp and coq combination (8.13, 1.16.0)
26s
Build mathcomp and coq combination (8.16, 1.15.0)
25s
Build mathcomp and coq combination (8.15, 1.15.0)
21s
Build mathcomp and coq combination (8.14, 1.15.0)
23s
Build mathcomp and coq combination (8.13, 1.15.0)
28s
Build mathcomp and coq combination (8.15, 1.14.0)
22s
Build mathcomp and coq combination (8.14, 1.14.0)
25s
Build mathcomp and coq combination (8.13, 1.14.0)
30s
Build mathcomp and coq combination (8.12, 1.14.0)
28s
Build mathcomp and coq combination (8.11, 1.14.0)
27s
Build mathcomp and coq combination (8.14, 1.13.0)
26s
Build mathcomp and coq combination (8.13, 1.13.0)
31s
Build mathcomp and coq combination (8.12, 1.13.0)
26s
Build mathcomp and coq combination (8.11, 1.13.0)
28s
Build mathcomp and coq combination (8.13, 1.12.0)
28s
Build mathcomp and coq combination (8.12, 1.12.0)
28s
Build mathcomp and coq combination (8.11, 1.12.0)
26s
Build mathcomp and coq combination (8.10, 1.12.0)
28s
Build mathcomp and coq combination (8.12, 1.11.0)
27s
Build mathcomp and coq combination (8.11, 1.11.0)
28s
Build mathcomp and coq combination (8.10, 1.11.0)
28s
Build mathcomp and coq combination (8.9, 1.11.0)
27s
Build mathcomp and coq combination (8.8, 1.11.0)
24s
Build mathcomp and coq combination (8.7, 1.11.0)
29s
Build mathcomp and coq combination (8.11, 1.10.0)
27s
Build mathcomp and coq combination (8.10, 1.10.0)
28s
Build mathcomp and coq combination (8.9, 1.10.0)
24s
Build mathcomp and coq combination (8.8, 1.10.0)
23s
Build mathcomp and coq combination (8.7, 1.10.0)
29s
Build mathcomp and coq combination (8.10, 1.9.0)
29s
Build mathcomp and coq combination (8.9, 1.9.0)
22s
Build mathcomp and coq combination (8.8, 1.9.0)
26s
Build mathcomp and coq combination (8.7, 1.9.0)
22s
Build mathcomp and coq combination (8.9, 1.8.0)
26s
Build mathcomp and coq combination (8.8, 1.8.0)
29s
Build mathcomp and coq combination (8.7, 1.8.0)
21s
Generate summary
50m 16s
1h 9m 12s