Skip to content
Nix CI for bundle coq-8.20

Untyped quote #2

Sign in to view logs

Untyped quote

Untyped quote #2

Triggered via pull request April 24, 2025 10:17
@TDiazTTDiazT
opened #1
Status Failure
Total duration 36m 37s
Artifacts –

nix-action-coq-8.20.yml

on: pull_request_target
coq
41s
coq
equations
41s
equations
metacoq-utils
1m 34s
metacoq-utils
metacoq-common
1m 57s
metacoq-common
metacoq-pcuic
12m 37s
metacoq-pcuic
metacoq-template-coq
3m 2s
metacoq-template-coq
metacoq-safechecker
18m 21s
metacoq-safechecker
metacoq-template-pcuic
0s
metacoq-template-pcuic
metacoq-translations
0s
metacoq-translations
metacoq-erasure
0s
metacoq-erasure
metacoq-quotation
0s
metacoq-quotation
metacoq-safechecker-plugin
0s
metacoq-safechecker-plugin
metacoq-erasure-plugin
0s
metacoq-erasure-plugin
metacoq
0s
metacoq
ElmExtraction
0s
ElmExtraction
RustExtraction
0s
RustExtraction
Fit to window
Zoom out
Zoom in

Annotations

1 error
metacoq-template-coq
Process completed with exit code 1.