Skip to content
Nix CI for bundle 8.19

Merge pull request #51 from 4ever2/nix #23

Sign in to view logs

Merge pull request #51 from 4ever2/nix

Merge pull request #51 from 4ever2/nix #23

Triggered via push December 18, 2024 10:15
@4ever24ever2
pushed 9114e44
main
Status Success
Total duration 11m 27s
Artifacts –

nix-action-8.19.yml

on: push
coq
41s
coq
mathcomp-analysis
43s
mathcomp-analysis
ssprove
9m 35s
ssprove
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mathcomp-analysis
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ssprove
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636