OSSF Scorecard

feat(batch_driver): add F* runner — 16 active provers #204

Sign in to view logs

Triggered via push April 5, 2026 16:52

main

Status Success

Total duration 47s

Artifacts –

scorecard.yml

on: push