Skip to content

Update flake input to match Idris2 submodule #526

Update flake input to match Idris2 submodule

Update flake input to match Idris2 submodule #526

Annotations

1 warning

build-idris2-with-api

succeeded Feb 9, 2025 in 10s