Bump harnesses verifiers minimum#1552

Open

xeophon wants to merge 8 commits into

mainfrom

harnesses-verifiers-dev158

GitHub Advanced Security / CodeQL succeeded Jun 5, 2026 in 1s

No new alerts in code changed by this pull request

View all branch alerts.