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

SkySkimmer wants to merge 1 commit into

Lysxia:masterLysxia/coq-ceres:masterfrom

SkySkimmer:context-secvarSkySkimmer/coq-ceres:context-secvarCopy head branch name to clipboard