Skip to content
Nix CI for bundle coq-8.19

[CI] Add Coq 8.19 #2

Sign in to view logs

[CI] Add Coq 8.19

[CI] Add Coq 8.19 #2

Triggered via pull request January 3, 2024 11:10
@proux01proux01
synchronize #409
proux01:ci_coq819
Status Success
Total duration 1h 25m 48s
Artifacts –

nix-action-coq-8.19.yml

on: pull_request
coq
35s
coq
mathcomp-single
33s
mathcomp-single
hierarchy-builder
1m 13s
hierarchy-builder
mathcomp-ssreflect
3m 11s
mathcomp-ssreflect
mathcomp-fingroup
3m 59s
mathcomp-fingroup
mathcomp-bigenough
3m 16s
mathcomp-bigenough
mathcomp-finmap
3m 25s
mathcomp-finmap
deriving
3m 27s
deriving
reglang
3m 38s
reglang
mathcomp-algebra
7m 16s
mathcomp-algebra
mathcomp-solvable
8m 50s
mathcomp-solvable
multinomials
8m 21s
multinomials
fourcolor
19m 34s
fourcolor
coq-bits
7m 39s
coq-bits
mathcomp-field
11m 13s
mathcomp-field
mathcomp-character
12m 22s
mathcomp-character
mathcomp-real-closed
12m 40s
mathcomp-real-closed
mathcomp
12m 37s
mathcomp
coqeal
15m 13s
coqeal
odd-order
23m 17s
odd-order
Fit to window
Zoom out
Zoom in