Skip to content
Docker-Coq CI

Docker-Coq CI #649

Sign in to view logs

Docker-Coq CI

Docker-Coq CI #649

Re-run triggered December 19, 2024 14:50
@erikmderikmd
⁠ ae62702
master
Status Success
Total duration 6m 31s
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
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
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 (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 / 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 / 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 / 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 / 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 / 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-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-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
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
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-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-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