Skip to content

Adapt to rocq-prover/rocq#21987 (secvar status)#719

Merged
ppedrot merged 1 commit into
rocq-prover:mainfrom
SkySkimmer:context-secvar
Jun 1, 2026
Merged

Adapt to rocq-prover/rocq#21987 (secvar status)#719
ppedrot merged 1 commit into
rocq-prover:mainfrom
SkySkimmer:context-secvar

Adapt to rocq-prover/rocq#21987 (secvar status)

2a735b5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build (dev, 4.14.2-flambda, dune hott)
failed Jun 1, 2026 in 4m 33s