Skip to content
Idris2 and External Libs

[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output #894

Sign in to view logs

[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output

[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output #894

initialise

initialise
succeeded Sep 14, 2024 in 4s