Skip to content

Try to fix CI by forcing HB version#124

Merged
SkySkimmer merged 1 commit intorocq-prover:mainfrom
SkySkimmer:fix-ci
Feb 26, 2026
Merged

Try to fix CI by forcing HB version#124
SkySkimmer merged 1 commit intorocq-prover:mainfrom
SkySkimmer:fix-ci

Commits

Commits on Feb 26, 2026