Skip to content
Docker CI

Adapt to rocq-prover/rocq#21284. #140

Sign in to view logs

Adapt to rocq-prover/rocq#21284.

Adapt to rocq-prover/rocq#21284. #140

Triggered via pull request November 7, 2025 17:19
@ppedrotppedrot
opened #143
ppedrot:abstract-global-readonly
Status Success
Total duration 5m 8s
Artifacts –

docker-action.yml

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

Annotations

10 warnings
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:dev)
Use of "Notation" keyword for abbreviations is deprecated, use
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:dev)
Loading Stdlib without prefix is deprecated.