Skip to content

[experiment] Use ext-lib monads #106

[experiment] Use ext-lib monads

[experiment] Use ext-lib monads #106

Triggered via pull request February 24, 2026 20:29
Status Failure
Total duration 13m 18s
Artifacts

nix-action-rocq-dev.yml

on: pull_request
metarocq-utils
metarocq-utils
metarocq-common
metarocq-common
metarocq-pcuic
0s
metarocq-pcuic
metarocq-template-rocq
0s
metarocq-template-rocq
metarocq-safechecker
0s
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
ExtLib
Process completed with exit code 1.