Skip to content
Docker-Coq CI

fix: Use actions/upload-artifact@v4 (#96) #528

Sign in to view logs

fix: Use actions/upload-artifact@v4 (#96)

fix: Use actions/upload-artifact@v4 (#96) #528

Triggered via push July 14, 2024 21:49
@erikmderikmd
pushed 6ef6cff
master
Status Cancelled
Total duration 1m 33s
Artifacts –

coq-demo.yml

on: push
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

30 errors
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
The run was canceled by @erikmd.
custom_image / docker-mathcomp / opam (mathcomp/mathcomp:latest-coq-8.19)
The operation was canceled.
custom_image / docker-mathcomp / opam / env+GITHUB_ENV (mathcomp/mathcomp:latest-coq-8.19)
The run was canceled by @erikmd.
custom_image / docker-mathcomp / opam / env+GITHUB_ENV (mathcomp/mathcomp:latest-coq-8.19)
The operation was canceled.
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
The run was canceled by @erikmd.
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:coq-dev)
The operation was canceled.
coq_version / docker-coq / opam (latest-native, default)
The run was canceled by @erikmd.
coq_version / docker-coq / opam (latest-native, default)
The operation was canceled.
custom_image / docker-coq / make / script (coqorg/coq:latest)
The run was canceled by @erikmd.
custom_image / docker-coq / make / script (coqorg/coq:latest)
The operation was canceled.
custom_image / docker-coq / opam / env (coqorg/coq:latest)
The run was canceled by @erikmd.
custom_image / docker-coq / opam / env (coqorg/coq:latest)
The operation was canceled.
custom_image / docker-coq / make / script (coqorg/coq:dev)
The run was canceled by @erikmd.
custom_image / docker-coq / make / script (coqorg/coq:dev)
The operation was canceled.
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
The run was canceled by @erikmd.
custom_image / docker-coq / make / custom_script (coqorg/coq:dev)
The operation was canceled.
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
The run was canceled by @erikmd.
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:dev)
The operation was canceled.
coq_version / docker-coq / opam (dev, default)
The run was canceled by @erikmd.
coq_version / docker-coq / opam (dev, default)
The operation was canceled.
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
The run was canceled by @erikmd.
custom_image / docker-coq / opam / auto install depexts (coqorg/coq:dev)
The operation was canceled.
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
The run was canceled by @erikmd.
custom_image / docker-coq / make / custom_script (coqorg/coq:latest)
The operation was canceled.
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
The run was canceled by @erikmd.
custom_image / docker-coq / opam / apt-get install more (coqorg/coq:latest)
The operation was canceled.
coq_version / docker-coq / opam (8.18, default)
The run was canceled by @erikmd.
coq_version / docker-coq / opam (8.18, default)
The operation was canceled.
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
The run was canceled by @erikmd.
custom_image / docker-coq / opam+make / upload-artifacts (coqorg/coq:latest)
The operation was canceled.