Skip to content

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

Merged
samuelgruetter merged 1 commit into
mit-plv:masterfrom
SkySkimmer:context-secvar
May 26, 2026
Merged

Adapt to rocq-prover/rocq#21987 (secvar status)#533
samuelgruetter merged 1 commit into
mit-plv:masterfrom
SkySkimmer:context-secvar

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

8a6e344
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
alpine-edge
succeeded May 22, 2026 in 36m 51s