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

Compat Note #36

Sign in to view logs

Compat Note

Compat Note #36

Triggered via push January 8, 2025 12:14
@hiverthivert
pushed e62b68b
master
Status Success
Total duration 6m 4s
Artifacts –

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

on: push
coq
34s
coq
coq-combi
5m 9s
coq-combi
mathcomp
39s
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