Skip to content
Docker CI

[ci]: use new docker repo for Rocq #11

Sign in to view logs

[ci]: use new docker repo for Rocq

[ci]: use new docker repo for Rocq #11

Triggered via push March 10, 2025 13:53
@womeierwomeier
pushed 8a24197
master
Status Success
Total duration 2m 11s
Artifacts –

docker-action.yml

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

Annotations

11 warnings
build (rocq/rocq-prover:dev): src/EqDec.v#L5
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): src/Category.v#L65
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): src/EqDec.v#L9
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): src/NEList.v#L1
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): src/Sized.v#L1
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): src/Sized.v#L19
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): src/Sized.v#L19
Using Vector.t is known to be technically difficult, see
build (rocq/rocq-prover:dev): src/StringAsList.v#L1
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): src/Sized.v#L35
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): src/Induction.v#L2
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:8.20): src/Sized.v#L19
Using Vector.t is known to be technically difficult, see