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

Commented out unneded argument specif + presentation_S5 (very long to… #23

Sign in to view logs

Commented out unneded argument specif + presentation_S5 (very long to…

Commented out unneded argument specif + presentation_S5 (very long to… #23

Triggered via push December 3, 2024 17:21
@hiverthivert
pushed d26c887
master
Status Success
Total duration 5m 15s
Artifacts –

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

on: push
coq
38s
coq
coq-combi
4m 16s
coq-combi
mathcomp
35s
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