Skip to content
Docker CI

ci: Use allow-list of dependants #9

Sign in to view logs

ci: Use allow-list of dependants

ci: Use allow-list of dependants #9

Triggered via pull request October 1, 2025 21:26
@LysxiaLysxia
opened #281
ci-list
Status Success
Total duration 6m 40s
Artifacts –

docker-action.yml

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

Annotations

20 warnings
build (rocq/rocq-prover:dev): theories/Basics/CategoryOps.v#L251
Use of "Notation" keyword for abbreviations is deprecated, use
build (rocq/rocq-prover:dev): theories/Basics/CategoryOps.v#L250
Use of "Notation" keyword for abbreviations is deprecated, use
build (rocq/rocq-prover:dev): theories/Basics/CategoryOps.v#L249
Use of "Notation" keyword for abbreviations is deprecated, use
build (rocq/rocq-prover:dev): theories/Basics/CategoryOps.v#L79
Use of "Notation" keyword for abbreviations is deprecated, use
build (rocq/rocq-prover:dev): theories/Basics/CategoryOps.v#L62
Use of "Notation" keyword for abbreviations is deprecated, use
build (rocq/rocq-prover:dev): theories/Axioms.v#L14
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): theories/Axioms.v#L6
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): theories/Basics/Basics.v#L46
Use of "Notation" keyword for abbreviations is deprecated, use
build (rocq/rocq-prover:dev): theories/Basics/Basics.v#L9
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:dev): theories/Basics/Basics.v#L6
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Basics/HeterogeneousRelations.v#L1
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Basics/CategoryTheory.v#L7
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Eq/Shallow.v#L14
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Basics/Monad.v#L4
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Basics/CategoryFunctor.v#L3
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Indexed/Relation.v#L4
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Axioms.v#L14
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Axioms.v#L6
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Basics/Basics.v#L9
"From Coq" has been replaced by "From Stdlib".
build (rocq/rocq-prover:9.0): theories/Basics/Basics.v#L6
"From Coq" has been replaced by "From Stdlib".