Skip to content
Docker CI

ci: Switch to Github Actions #4

Sign in to view logs

ci: Switch to Github Actions

ci: Switch to Github Actions #4

Triggered via pull request September 16, 2025 05:45
@LysxiaLysxia
synchronize #280
ci
Status Success
Total duration 10m 46s
Artifacts –

docker-action.yml

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

Annotations

20 warnings
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".
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".