More error messages when .coq-version creation fails #49
Triggered via pull request
December 24, 2023 21:34
Status
Cancelled
Total duration
2m 6s
Artifacts
–
coq-docker.yml
on: pull_request
Matrix: build-docker
docker-check-all
0s
Annotations
3 errors and 10 warnings
build-docker (dev, --warnings)
Canceling since a higher priority waiting request for 'CI (Coq, docker)-dev-more-coq-version-error' exists
|
build-docker (dev, --warnings)
The operation was canceled.
|
docker-check-all
Process completed with exit code 1.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L53
Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L192
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L192
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L221
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L221
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L221
Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L287
Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L287
Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L305
Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
|
build-docker (dev, --warnings):
src/Rewriter/Util/NatUtil.v#L305
Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
|