Skip to content
Docker-Coq CI

Docker-Coq CI #639

Sign in to view logs

Docker-Coq CI

Docker-Coq CI #639

Triggered via schedule December 8, 2024 16:26
@erikmderikmd
⁠ ae62702
master
Status Failure
Total duration 6m 11s
Artifacts 1

coq-demo.yml

on: schedule
Matrix: coq_version / docker-coq / opam
Matrix: custom_image / docker-mathcomp / opam
Matrix: custom_image / docker-coq / make / script
Matrix: custom_image / docker-coq / make / custom_script
Matrix: custom_image / docker-coq / opam / env
Matrix: custom_image / docker-coq / opam / auto install depexts
Matrix: custom_image / docker-coq / opam / apt-get install more
Matrix: custom_image / docker-coq / opam+make / upload-artifacts
Matrix: custom_image / docker-mathcomp / opam / env+GITHUB_ENV
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coq_version / docker-coq / opam (8.18, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coq_version / docker-coq / opam (latest-native, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-coq / opam / env (coqorg/coq:latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coq_version / docker-coq / opam (dev, default)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-mathcomp / opam / env+GITHUB_ENV (mathcomp/mathcomp:latest-coq-8.19)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-coq / make / script (coqorg/coq:dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
custom_image / docker-coq / make / script (coqorg/coq:latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
example-artifact Expired
1.72 KB