Skip to content
Nix CI for bundle 8.17+2.0

Merge pull request #66 from CohenCyril/mc1300 #39

Sign in to view logs

Merge pull request #66 from CohenCyril/mc1300

Merge pull request #66 from CohenCyril/mc1300 #39

Triggered via push January 23, 2025 13:40
@CohenCyrilCohenCyril
pushed 2cd48e2
master
Status Success
Total duration 2m 59s
Artifacts –

nix-action-8.17+2.0.yml

on: push
coq
32s
coq
fourcolor
39s
fourcolor
mathcomp-finmap
37s
mathcomp-finmap
graph-theory
39s
graph-theory
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
fourcolor
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mathcomp-finmap
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
graph-theory
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636