Skip to content
Docker CI

attempt to adapt to stdlib's changes #39

Sign in to view logs

attempt to adapt to stdlib's changes

attempt to adapt to stdlib's changes #39

Triggered via push January 2, 2024 08:06
@CasteranCasteran
pushed 8735769
master
Status Failure
Total duration 1m 56s
Artifacts –

docker-action.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
build (coqorg/coq:dev): tutorial_inductive_co_inductive_types/SRC/RecTutorial.v#L750
Cannot find a physical path bound to logical path Minus.
build (coqorg/coq:8.16)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (coqorg/coq:8.15)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (coqorg/coq:dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (coqorg/coq:dev): ch10_extraction_and_imperative_programs/SRC/chap10.v#L12
Setting extraction output directory by default to