Skip to content
Nix CI for bundle rocq-9.2

Elpi Accumulate Plugin #50

Sign in to view logs

Elpi Accumulate Plugin

Elpi Accumulate Plugin #50

Triggered via pull request March 4, 2026 15:46
@garesgares
synchronize #965
Status Failure
Total duration 45m 13s
Artifacts –

nix-action-rocq-9.2.yml

on: pull_request_target
rocq-core
53s
rocq-core
rocq-elpi
1m 36s
rocq-elpi
coq
54s
coq
coq-elpi
1m 6s
coq-elpi
rocq-elpi-tests
2m 15s
rocq-elpi-tests
hierarchy-builder
1m 49s
hierarchy-builder
mathcomp-boot
3m 4s
mathcomp-boot
mathcomp-bigenough
1m 36s
mathcomp-bigenough
mathcomp-fingroup
2m 18s
mathcomp-fingroup
mathcomp-order
3m 32s
mathcomp-order
mathcomp-finmap
1m 48s
mathcomp-finmap
mathcomp-algebra
5m 54s
mathcomp-algebra
mathcomp-ssreflect
1m 35s
mathcomp-ssreflect
mathcomp-solvable
2m 58s
mathcomp-solvable
multinomials
3m 12s
multinomials
mathcomp-classical
3m 51s
mathcomp-classical
mathcomp-field
7m 30s
mathcomp-field
mathcomp-reals
2m 27s
mathcomp-reals
mathcomp-character
2m 54s
mathcomp-character
mathcomp-real-closed
3m 17s
mathcomp-real-closed
mathcomp-experimental-reals
3m 6s
mathcomp-experimental-reals
mathcomp-analysis
16m 32s
mathcomp-analysis
mathcomp
1m 39s
mathcomp
odd-order
10m 34s
odd-order
Fit to window
Zoom out
Zoom in

Annotations

1 error
mathcomp-experimental-reals
Process completed with exit code 1.