Skip to content
Nix CI for bundle 8.19

Nix setup #4

Sign in to view logs

Nix setup

Nix setup #4

Re-run triggered January 16, 2025 21:43
@4ever24ever2
#250
4ever2:nix
Status Failure
Total duration 55s
Artifacts –

nix-action-8.19.yml

on: pull_request
coq
37s
coq
QuickChick
46s
QuickChick
metacoq
36m 53s
metacoq
stdpp
2m 7s
stdpp
ConCert
40s
ConCert
Fit to window
Zoom out
Zoom in

Annotations

1 error and 5 warnings
ConCert
Process completed with exit code 1.
coq
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
QuickChick
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
stdpp
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ConCert
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636