Skip to content
Nix CI for bundle coq-8.19

Nix CI reverse dependency compatibility testing #4

Sign in to view logs

Nix CI reverse dependency compatibility testing

Nix CI reverse dependency compatibility testing #4

Triggered via pull request December 17, 2024 13:46
@4ever24ever2
synchronize #1107
4ever2:nix-rev-ci
Status Success
Total duration 2h 47m 55s
Artifacts –

nix-action-coq-8.19.yml

on: pull_request
coq
41s
coq
equations
41s
equations
metacoq-utils
1m 48s
metacoq-utils
metacoq-common
2m 2s
metacoq-common
metacoq-pcuic
14m 5s
metacoq-pcuic
metacoq-template-coq
3m 17s
metacoq-template-coq
metacoq-safechecker
19m 26s
metacoq-safechecker
metacoq-template-pcuic
15m 25s
metacoq-template-pcuic
metacoq-translations
3m 30s
metacoq-translations
metacoq-erasure
27m 9s
metacoq-erasure
metacoq-quotation
23m 10s
metacoq-quotation
metacoq-safechecker-plugin
20m 54s
metacoq-safechecker-plugin
metacoq-erasure-plugin
28m 54s
metacoq-erasure-plugin
metacoq
37m 51s
metacoq
ElmExtraction
33m 47s
ElmExtraction
RustExtraction
33m 12s
RustExtraction
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
equations
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-utils
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-common
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-template-coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-translations
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-pcuic
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-template-pcuic
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-safechecker
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-quotation
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-safechecker-plugin
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-erasure
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq-erasure-plugin
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
metacoq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
RustExtraction
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ElmExtraction
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636