Skip to content

update Idris2 dependency #501

update Idris2 dependency

update Idris2 dependency #501

Annotations

3 warnings

build-idris2-with-api

succeeded Nov 8, 2024 in 15m 11s