Skip to content
Docker CI

Merge pull request #143 from ppedrot/abstract-global-readonly #141

Sign in to view logs

Merge pull request #143 from ppedrot/abstract-global-readonly

Merge pull request #143 from ppedrot/abstract-global-readonly #141

Triggered via push November 7, 2025 17:33
@ppedrotppedrot
pushed 691153e
master
Status Success
Total duration 5m 4s
Artifacts –

docker-action.yml

on: push
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.