Skip to content
Docker CI

Adapt w.r.t. coq/coq#20278. #128

Sign in to view logs

Adapt w.r.t. coq/coq#20278.

Adapt w.r.t. coq/coq#20278. #128

Triggered via pull request February 21, 2025 19:12
@ppedrotppedrot
synchronize #135
ppedrot:rm-tc-evd-hook
Status Success
Total duration 2m 9s
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)
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.