Skip to content

[ pack ] use short custom syntax#29

Merged
stefan-hoeck merged 1 commit into
mainfrom
small_pack
May 22, 2026
Merged

[ pack ] use short custom syntax#29
stefan-hoeck merged 1 commit into
mainfrom
small_pack

[ pack ] use short custom syntax

5a3917b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build idris-community/idris2-scgi with Idris2 latest
succeeded May 22, 2026 in 2m 31s