Skip to content
Idris2 ABI Type-Check

fix(ci): update secret-scanner SHA to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 + remove squisher-corpus placeholders #261

Sign in to view logs

fix(ci): update secret-scanner SHA to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 + remove squisher-corpus placeholders

fix(ci): update secret-scanner SHA to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 + remove squisher-corpus placeholders #261

Triggered via pull request August 13, 2026 02:10
@hyperpolymathhyperpolymath
opened #356
fix/ci-426-batch8-echidna
Status Success
Total duration 26s
Artifacts –

idris2-abi-ci.yml

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