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

Triggered via pull request November 14, 2025 23:30
@keramkeram
opened #647
keram:generate-def-simpl
Status Success
Total duration 2m 2s
Artifacts –

idris1.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in