Skip to content
Nix CI for bundle coq-9.0

Update README.md #11

Sign in to view logs

Update README.md

Update README.md #11

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

nix-action-coq-9.0.yml

on: push
coq
38s
coq
coq-elpi
39s
coq-elpi
hierarchy-builder
39s
hierarchy-builder
mathcomp-ssreflect
45s
mathcomp-ssreflect
mathcomp-single
6m 53s
mathcomp-single
mathcomp-fingroup
40s
mathcomp-fingroup
mathcomp-bigenough
40s
mathcomp-bigenough
mathcomp-finmap
41s
mathcomp-finmap
QuickChick
1m 40s
QuickChick
autosubst
1m 18s
autosubst
deriving
1m 35s
deriving
reglang
1m 44s
reglang
mathcomp-algebra
41s
mathcomp-algebra
mathcomp-solvable
44s
mathcomp-solvable
mathcomp-classical
45s
mathcomp-classical
multinomials
40s
multinomials
fourcolor
40s
fourcolor
coq-bits
39s
coq-bits
mathcomp-field
45s
mathcomp-field
mathcomp-reals
41s
mathcomp-reals
mathcomp-character
41s
mathcomp-character
mathcomp-real-closed
40s
mathcomp-real-closed
mathcomp-reals-stdlib
45s
mathcomp-reals-stdlib
mathcomp-analysis
40s
mathcomp-analysis
mathcomp-experimental-reals
1m 47s
mathcomp-experimental-reals
mathcomp
44s
mathcomp
coqeal
40s
coqeal
mathcomp-analysis-stdlib
49s
mathcomp-analysis-stdlib
odd-order
45s
odd-order
Fit to window
Zoom out
Zoom in