Skip to content
Nix CI for bundle 8.20

CI: Automatically Generating Html Documentation for each Pull Requests #866

Sign in to view logs

CI: Automatically Generating Html Documentation for each Pull Requests

CI: Automatically Generating Html Documentation for each Pull Requests #866

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
39s
mathcomp
39s
mathcomp-analysis-single
13m 23s
mathcomp-classical
3m 7s
mathcomp-reals
2m 14s
mathcomp-analysis
10m 54s
mathcomp-reals-stdlib
1m 24s
mathcomp-experimental-reals
1m 46s
mathcomp-analysis-stdlib
11m 31s
45m 37s