Skip to content

CI: fix CertiRocq evaluation#62

Merged
omelkonian merged 1 commit intomasterfrom
orestis/fix-rocq-eval
Feb 27, 2026
Merged

CI: fix CertiRocq evaluation#62
omelkonian merged 1 commit intomasterfrom
orestis/fix-rocq-eval

Commits

Commits on Feb 27, 2026