Skip to content
Nix CI for bundle coq-master-min-elpi

[coq.TC.get-inst-prio] new get-inst-prio (#716) #189

Sign in to view logs

[coq.TC.get-inst-prio] new get-inst-prio (#716)

[coq.TC.get-inst-prio] new get-inst-prio (#716) #189

Triggered via pull request November 26, 2024 08:35
@FissoreDFissoreD
synchronize #717
Status Success
Total duration 47m 42s
Artifacts –

nix-action-coq-master-min-elpi.yml

on: pull_request_target
coq
58s
coq
coq-elpi
2m 10s
coq-elpi
hierarchy-builder
1m 53s
hierarchy-builder
mathcomp-ssreflect
3m 27s
mathcomp-ssreflect
mathcomp-fingroup
2m 32s
mathcomp-fingroup
mathcomp-bigenough
1m 45s
mathcomp-bigenough
mathcomp-finmap
2m 4s
mathcomp-finmap
mathcomp-algebra
4m 20s
mathcomp-algebra
mathcomp-solvable
3m 16s
mathcomp-solvable
mathcomp-classical
3m 22s
mathcomp-classical
multinomials
3m 9s
multinomials
mathcomp-field
3m 55s
mathcomp-field
mathcomp-reals
2m 47s
mathcomp-reals
mathcomp-character
5m 5s
mathcomp-character
mathcomp-real-closed
4m 50s
mathcomp-real-closed
mathcomp-reals-stdlib
2m 52s
mathcomp-reals-stdlib
mathcomp-analysis
13m 3s
mathcomp-analysis
mathcomp-experimental-reals
3m 18s
mathcomp-experimental-reals
mathcomp
2m 54s
mathcomp
mathcomp-analysis-stdlib
10m 51s
mathcomp-analysis-stdlib
odd-order
10m 9s
odd-order
Fit to window
Zoom out
Zoom in