Skip to content
Nix CI for bundle coq-master

Update README.md #426

Sign in to view logs

Update README.md

Update README.md #426

Triggered via push February 5, 2025 14:26
@CohenCyrilCohenCyril
pushed 9d635b5
master
Status Success
Total duration 1h 47m 23s
Artifacts –

nix-action-coq-master.yml

on: push
coq
41s
coq
mathcomp-single
37s
mathcomp-single
stdlib
48s
stdlib
bignums
42s
bignums
coq-elpi
42s
coq-elpi
hierarchy-builder
41s
hierarchy-builder
mathcomp-ssreflect
43s
mathcomp-ssreflect
mathcomp-fingroup
6m 55s
mathcomp-fingroup
mathcomp-bigenough
5m 13s
mathcomp-bigenough
mathcomp-finmap
5m 15s
mathcomp-finmap
deriving
5m 32s
deriving
reglang
5m 41s
reglang
mathcomp-algebra
43s
mathcomp-algebra
mathcomp-solvable
2m 24s
mathcomp-solvable
mathcomp-classical
2m 34s
mathcomp-classical
multinomials
42s
multinomials
fourcolor
13m 14s
fourcolor
coq-bits
42s
coq-bits
mathcomp-field
4m 21s
mathcomp-field
mathcomp-reals
3m 8s
mathcomp-reals
mathcomp-character
4m 1s
mathcomp-character
mathcomp-real-closed
3m 59s
mathcomp-real-closed
mathcomp-reals-stdlib
1m 27s
mathcomp-reals-stdlib
mathcomp-analysis
10m 45s
mathcomp-analysis
mathcomp-experimental-reals
1m 45s
mathcomp-experimental-reals
mathcomp
2m 23s
mathcomp
coqeal
3m 0s
coqeal
mathcomp-analysis-stdlib
9m 22s
mathcomp-analysis-stdlib
odd-order
9m 6s
odd-order
Fit to window
Zoom out
Zoom in