Skip to content
Idris2 ABI Type-Check

fix(ci): update secret-scanner SHA to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 #260

Sign in to view logs

fix(ci): update secret-scanner SHA to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329

fix(ci): update secret-scanner SHA to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 #260

Triggered via pull request August 13, 2026 01:04
@hyperpolymathhyperpolymath
opened #355
fix/ci-426-batch8-echidna
Status Success
Total duration 32s
Artifacts –

idris2-abi-ci.yml

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