Skip to content
CI (Coq, docker)

Adapt to coq/coq#19620 (Global.push_context_set no strict argument) (… #114

Sign in to view logs

Adapt to coq/coq#19620 (Global.push_context_set no strict argument) (…

Adapt to coq/coq#19620 (Global.push_context_set no strict argument) (… #114

Triggered via push October 15, 2024 09:41
@JasonGrossJasonGross
pushed e4d987c
master
Status Success
Total duration 9m 19s
Artifacts –

coq-docker.yml

on: push
Matrix: build-docker
docker-check-all
1s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build-docker (dev, --warnings): src/Rewriter/Util/IffT.v#L1
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/Bool.v#L2
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/Bool.v#L3
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/Pointed.v#L1
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/NatUtil.v#L1
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/NatUtil.v#L2
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/NatUtil.v#L3
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/NatUtil.v#L4
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/NatUtil.v#L5
"From Coq" has been replaced by "From Stdlib".
build-docker (dev, --warnings): src/Rewriter/Util/NatUtil.v#L6
"From Coq" has been replaced by "From Stdlib".