OSSF Scorecard

feat(batch_driver): add agda, idris2, acl2, vampire runners #199

Sign in to view logs

Triggered via push April 5, 2026 10:48

main

Status Success

Total duration 29s

Artifacts –

scorecard.yml

on: push