Docker-Coq CI · coq-community/docker-coq-action@ae62702

Triggered via schedule October 14, 2024 16:08

erikmd

master

Status Failure

Total duration 6h 0m 30s

Artifacts –

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

6 errors

Docker build failed with exit code 1

Docker build failed with exit code 1

Docker build failed with exit code 1

Docker build failed with exit code 1

The job running on runner GitHub Actions 11 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.