Skip to content
Idris1 on Ubuntu

Simplify idris-generate-def, remove commented out code and add test for idris-generate-def-next #307

Sign in to view logs

Simplify idris-generate-def, remove commented out code and add test for idris-generate-def-next

Simplify idris-generate-def, remove commented out code and add test for idris-generate-def-next #307

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (30.2, git)
2m 0s
2m 0s