Skip to content
Idris1 on Ubuntu

Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval #317

Sign in to view logs

Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval

Move call to idris-list-compiler-notes from idris-eval to new helper function idris-user-eval #317

Triggered via pull request November 27, 2025 18:58
@keramkeram
opened #650
keram:idris-user-eval
Status Success
Total duration 20m 7s
Artifacts –

idris1.yml

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