Skip to content
Idris2 ABI Type-Check

fix(ci): the invisible-character gate never matched anything #275

Sign in to view logs

fix(ci): the invisible-character gate never matched anything

fix(ci): the invisible-character gate never matched anything #275

Triggered via pull request August 27, 2026 13:16
@hyperpolymathhyperpolymath
opened #369
fix/empty-linter-pattern-never-matched
Status Success
Total duration 25s
Artifacts –

idris2-abi-ci.yml

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