Skip to content

fix(ci): align the Idris2 version assert with the pinned image (0.8.0) - #31

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/idris2-version-0-8-0
Jul 27, 2026
Merged

fix(ci): align the Idris2 version assert with the pinned image (0.8.0)#31
hyperpolymath merged 1 commit into
mainfrom
fix/idris2-version-0-8-0

fix(ci): align the Idris2 version assert with the pinned image (0.8.0)

823a9b0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar