Agda

fix(ci): clear OSSF Scorecard startup_failure #867

Sign in to view logs

Triggered via pull request July 6, 2026 21:44

opened #288

fix/scorecard-caller-startup

Status Success

Total duration 14m 38s

Artifacts –

agda.yml

on: pull_request