Skip to content
Docker CI

Merge pull request #137 from LeoAlexElouan/clarify-bound-names #134

Sign in to view logs

Merge pull request #137 from LeoAlexElouan/clarify-bound-names

Merge pull request #137 from LeoAlexElouan/clarify-bound-names #134

Triggered via push April 18, 2025 14:01
@SkySkimmerSkySkimmer
pushed 937537d
master
Status Success
Total duration 2m 15s
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)
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.