Skip to content
Docker CI

Adapt to rocq-prover/rocq#21281 (printing flags passed functionally) #73

Sign in to view logs

Adapt to rocq-prover/rocq#21281 (printing flags passed functionally)

Adapt to rocq-prover/rocq#21281 (printing flags passed functionally) #73

Re-run triggered November 20, 2025 17:10
@lukaszczlukaszcz
#210
SkySkimmer:print-flags
Status Failure
Total duration 1m 55s
Artifacts –

docker-action.yml

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

Annotations

4 warnings
build (rocq/rocq-prover:dev): theories/Tactics/Reflect.v#L208
Implicitly declaring Rewrite hint databases is deprecated. Please
build (rocq/rocq-prover:dev): theories/Tactics/Reflect.v#L166
Implicitly declaring Rewrite hint databases is deprecated. Please
build (rocq/rocq-prover:dev): theories/Tactics/Reflect.v#L128
Implicitly declaring Rewrite hint databases is deprecated. Please
build (rocq/rocq-prover:dev): theories/Tactics/Reconstr.v#L15
Implicitly declaring Rewrite hint databases is deprecated. Please