Skip to content
Nix CI for bundle 8.20

Merge pull request #50 from 4ever2/cachix #10

Sign in to view logs

Merge pull request #50 from 4ever2/cachix

Merge pull request #50 from 4ever2/cachix #10

Triggered via push December 17, 2024 14:56
@4ever24ever2
pushed 72294c1
main
Status Success
Total duration 34m 20s
Artifacts –

nix-action-8.20.yml

on: push
coq
39s
coq
mathcomp-analysis
13m 22s
mathcomp-analysis
mathcomp
38s
mathcomp
ssprove
19m 50s
ssprove
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mathcomp
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