Skip to content

fix(ci): re-pin panic-attack scan-and-report past the argv-overflow fix #174

fix(ci): re-pin panic-attack scan-and-report past the argv-overflow fix

fix(ci): re-pin panic-attack scan-and-report past the argv-overflow fix #174

Triggered via pull request July 7, 2026 04:53
Status Success
Total duration 22s
Artifacts –

idris2-abi-ci.yml

on: pull_request
Type-check Idris2 ABI definitions
17s
Type-check Idris2 ABI definitions
Fit to window
Zoom out
Zoom in