Skip to content
Nix CI for bundle coq-8.18

[CI] Add Coq 8.19 #200

Sign in to view logs

[CI] Add Coq 8.19

[CI] Add Coq 8.19 #200

Triggered via pull request January 3, 2024 12:35
@proux01proux01
synchronize #409
proux01:ci_coq819
Status Success
Total duration 36m 58s
Artifacts –

nix-action-coq-8.18.yml

on: pull_request
coq
34s
coq
hierarchy-builder
1m 3s
hierarchy-builder
mathcomp-single
30s
mathcomp-single
mathcomp-ssreflect
3m 29s
mathcomp-ssreflect
mathcomp-fingroup
1m 39s
mathcomp-fingroup
mathcomp-bigenough
59s
mathcomp-bigenough
coquelicot
1m 36s
coquelicot
mathcomp-finmap
1m 12s
mathcomp-finmap
QuickChick
1m 36s
QuickChick
Verdi
1m 29s
Verdi
autosubst
1m 5s
autosubst
deriving
1m 16s
deriving
reglang
1m 16s
reglang
mathcomp-algebra
5m 12s
mathcomp-algebra
interval
3m 9s
interval
mathcomp-solvable
6m 17s
mathcomp-solvable
multinomials
5m 24s
multinomials
fourcolor
16m 45s
fourcolor
coq-bits
4m 48s
coq-bits
addition-chains
5m 16s
addition-chains
mathcomp-field
3m 39s
mathcomp-field
mathcomp-character
32s
mathcomp-character
mathcomp-real-closed
26s
mathcomp-real-closed
mathcomp
32s
mathcomp
coqeal
3m 14s
coqeal
odd-order
12m 28s
odd-order
Fit to window
Zoom out
Zoom in