Skip to content

Merge branch 'main' into ci/idris2-bump-0.8.0-2026-05-20

bb58c52
Select commit
Loading
Failed to load commit list.
Merged

ci(idris2): bump pinned version 0.7.0 → 0.8.0 #36

Merge branch 'main' into ci/idris2-bump-0.8.0-2026-05-20
bb58c52
Select commit
Loading
Failed to load commit list.