Docker-Coq CI #827
erikmd
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
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
Annotations
3 errors
|
custom_image / docker-mathcomp / opam (mathcomp/mathcomp-dev:rocq-prover-dev)
Cannot find a physical path bound to logical path
|
|
custom_image / docker-coq / make / script (rocq/rocq-prover:dev)
Cannot find a physical path bound to logical path
|
|
custom_image / docker-coq / make / custom_script (rocq/rocq-prover:dev)
Cannot find a physical path bound to logical path
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
example-artifact
Expired
|
1.63 KB |
sha256:951984ce98fb6c2b1ca55c8b25e9af8e9aeea831cca168a6a42bc6151ca98fd5
|
|