Skip to content
Nix CI for bundle coq8.16+mcmathcomp-2.1.0

Adapt to https://github.com/math-comp/math-comp/pull/1201 #16

Sign in to view logs

Adapt to https://github.com/math-comp/math-comp/pull/1201

Adapt to https://github.com/math-comp/math-comp/pull/1201 #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
36s
mathcomp-bigenough
37s
mathcomp-real-closed
8m 5s
mathcomp-abel
13m 0s
22m 18s