Skip to content

ci(abi): typecheck the Idris2 ABI in CI (G34)#52

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/axiom-jl-registry-infra-kr7t4a
Jul 2, 2026
Merged

ci(abi): typecheck the Idris2 ABI in CI (G34)#52
hyperpolymath merged 1 commit into
mainfrom
claude/axiom-jl-registry-infra-kr7t4a

ci(abi): typecheck the Idris2 ABI in CI (G34)

edd14bc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar