Skip to content
Idris2 ABI Type-Check

policy: Bun is tier 1, Deno is being removed — correct local CLAUDE.md #271

Sign in to view logs

policy: Bun is tier 1, Deno is being removed — correct local CLAUDE.md

policy: Bun is tier 1, Deno is being removed — correct local CLAUDE.md #271

Triggered via pull request August 26, 2026 23:25
@hyperpolymathhyperpolymath
synchronize #367
policy/bun-first-deno-removal
Status Success
Total duration 1m 6s
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