Skip to content
Nix CI for bundle rocq-dev

Adapt to rocq-prover/rocq#21669 (evaluable_of_global_reference no env arg) #108

Sign in to view logs

Adapt to rocq-prover/rocq#21669 (evaluable_of_global_reference no env arg)

Adapt to rocq-prover/rocq#21669 (evaluable_of_global_reference no env arg) #108

Triggered via pull request February 27, 2026 13:19
@SkySkimmerSkySkimmer
opened #1242
Status Failure
Total duration 38m 46s
Artifacts –

nix-action-rocq-dev.yml

on: pull_request_target
rocq-core
2m 22s
rocq-core
coq
1m 15s
coq
stdlib
3m 43s
stdlib
equations
1m 16s
equations
metarocq-utils
1m 25s
metarocq-utils
metarocq-common
1m 37s
metarocq-common
metarocq-pcuic
10m 58s
metarocq-pcuic
metarocq-template-rocq
2m 19s
metarocq-template-rocq
metarocq-safechecker
16m 56s
metarocq-safechecker
metarocq-template-pcuic
0s
metarocq-template-pcuic
metarocq-translations
0s
metarocq-translations
metarocq-erasure
0s
metarocq-erasure
metarocq-safechecker-plugin
0s
metarocq-safechecker-plugin
metarocq-quotation
0s
metarocq-quotation
metarocq-erasure-plugin
0s
metarocq-erasure-plugin
metarocq
0s
metarocq
Fit to window
Zoom out
Zoom in

Annotations

1 error
metarocq-template-rocq
Process completed with exit code 1.