Skip to content
Nix CI for bundle coq8.17-mc2.2.0

MathComp at least 2.2.0 #26

Sign in to view logs

MathComp at least 2.2.0

MathComp at least 2.2.0 #26

Triggered via push December 3, 2024 21:22
@hiverthivert
pushed 1d8633e
master
Status Success
Total duration 18m 58s
Artifacts –

nix-action-coq8.17-mc2.2.0.yml

on: push
coq
35s
coq
coq-combi
18m 5s
coq-combi
mathcomp
13m 37s
mathcomp
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
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coq-combi
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636