Skip to content

[ compat ] adjust to upstream changes#32

Merged
stefan-hoeck merged 1 commit into
mainfrom
compat
Jun 20, 2026
Merged

[ compat ] adjust to upstream changes#32
stefan-hoeck merged 1 commit into
mainfrom
compat

[ compat ] adjust to upstream changes

2197cc5
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 Jun 20, 2026 in 2m 44s