Skip to content
Nix CI for bundle 8.20

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

Sign in to view logs

CI: Automatically Generating Html Documentation for each Pull Requests

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
40s
mathcomp
42s
mathcomp-classical
3m 31s
mathcomp-analysis-single
15m 42s
mathcomp-reals
4m 23s
mathcomp-analysis
13m 23s
mathcomp-experimental-reals
1m 53s
mathcomp-reals-stdlib
1m 30s
mathcomp-analysis-stdlib
13m 16s
55m 0s