Skip to content
Nix CI for bundle coq-8.20

[CI] Add coqeal and Coq 8.20 #7

Sign in to view logs

[CI] Add coqeal and Coq 8.20

[CI] Add coqeal and Coq 8.20 #7

Triggered via pull request September 11, 2024 12:58
@proux01proux01
synchronize #685
proux01:ci-coqeal
Status Success
Total duration 1h 30m 48s
Artifacts –

nix-action-coq-8.20.yml

on: pull_request
coq
55s
coq
coq-elpi
2m 0s
coq-elpi
hierarchy-builder
2m 17s
hierarchy-builder
mathcomp-ssreflect
4m 20s
mathcomp-ssreflect
mathcomp-fingroup
5m 11s
mathcomp-fingroup
mathcomp-bigenough
4m 13s
mathcomp-bigenough
mathcomp-finmap
4m 26s
mathcomp-finmap
coquelicot
4m 43s
coquelicot
mathcomp-algebra
7m 11s
mathcomp-algebra
interval
7m 31s
interval
mathcomp-solvable
9m 9s
mathcomp-solvable
mathcomp-classical
8m 37s
mathcomp-classical
multinomials
8m 8s
multinomials
mathcomp-field
11m 0s
mathcomp-field
mathcomp-character
12m 36s
mathcomp-character
mathcomp-real-closed
12m 32s
mathcomp-real-closed
mathcomp-analysis
20m 34s
mathcomp-analysis
mathcomp
12m 52s
mathcomp
coqeal
14m 29s
coqeal
odd-order
21m 45s
odd-order
Fit to window
Zoom out
Zoom in