Skip to content

fix(ci): idris2-abi install via apt + tag-archive fallback — replaces 404 URL - #168

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/idris2-abi-ci-install-pattern
Jun 1, 2026
Merged

fix(ci): idris2-abi install via apt + tag-archive fallback — replaces 404 URL#168
hyperpolymath merged 1 commit into
mainfrom
fix/idris2-abi-ci-install-pattern

fix(ci): idris2-abi install via apt + tag-archive fallback — replaces…

1ab1296
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.