Skip to content
Docker CI

hammer with given lemmas #79

Sign in to view logs

hammer with given lemmas

hammer with given lemmas #79

Re-run triggered February 10, 2026 14:26
@lukaszczlukaszcz
#212
Rw1nd:given_lemmas
Status Success
Total duration 3m 18s
Artifacts –

docker-action.yml

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

Annotations

10 warnings
build (rocq/rocq-prover:9.1): theories/Tactics/Tactics.v#L8
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reflect.v#L9
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reflect.v#L9
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reflect.v#L9
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reflect.v#L8
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reconstr.v#L9
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reconstr.v#L9
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reconstr.v#L9
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reconstr.v#L9
Loading Stdlib without prefix is deprecated.
build (rocq/rocq-prover:9.1): theories/Tactics/Reflect.v#L6
Loading Stdlib without prefix is deprecated.