Skip to content
Nix CI for bundle coq-master

Merge pull request #787 from LPCIC/gares-patch-1 #725

Sign in to view logs

Merge pull request #787 from LPCIC/gares-patch-1

Merge pull request #787 from LPCIC/gares-patch-1 #725

Triggered via push February 26, 2025 13:45
@garesgares
pushed 2f2daed
master
Status Success
Total duration 27m 51s
Artifacts –

nix-action-coq-master.yml

on: push
coq
1m 8s
coq
stdlib
1m 20s
stdlib
coq-elpi
1m 12s
coq-elpi
coq-elpi-tests
1m 58s
coq-elpi-tests
bignums
1m 8s
bignums
coq-elpi-tests-stdlib
1m 4s
coq-elpi-tests-stdlib
hierarchy-builder
1m 2s
hierarchy-builder
mathcomp-ssreflect
1m 9s
mathcomp-ssreflect
mathcomp-fingroup
1m 4s
mathcomp-fingroup
mathcomp-bigenough
1m 6s
mathcomp-bigenough
mathcomp-finmap
1m 12s
mathcomp-finmap
mathcomp-algebra
1m 5s
mathcomp-algebra
mathcomp-solvable
1m 3s
mathcomp-solvable
mathcomp-classical
1m 12s
mathcomp-classical
multinomials
1m 4s
multinomials
mathcomp-field
1m 3s
mathcomp-field
mathcomp-reals
1m 4s
mathcomp-reals
mathcomp-character
1m 5s
mathcomp-character
mathcomp-real-closed
1m 9s
mathcomp-real-closed
mathcomp-reals-stdlib
1m 11s
mathcomp-reals-stdlib
mathcomp-analysis
1m 5s
mathcomp-analysis
mathcomp-experimental-reals
1m 59s
mathcomp-experimental-reals
mathcomp
1m 13s
mathcomp
coqeal
1m 15s
coqeal
mathcomp-analysis-stdlib
1m 11s
mathcomp-analysis-stdlib
odd-order
9m 5s
odd-order
Fit to window
Zoom out
Zoom in