Skip to content
CI (Coq, docker)

adapt to coq/coq#18563 #66

Sign in to view logs

adapt to coq/coq#18563

adapt to coq/coq#18563 #66

Triggered via pull request January 30, 2024 01:37
@andres-erbsenandres-erbsen
opened #148
andres-erbsen:more-nth_error
Status Success
Total duration 6m 16s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq-docker.yml

on: pull_request
Matrix: build-docker
docker-check-all
0s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
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.