Skip to content
Idris1 on Ubuntu

Ensure Idris is running and current idr file loaded when using idris-switch-to-repl #311

Sign in to view logs

Ensure Idris is running and current idr file loaded when using idris-switch-to-repl

Ensure Idris is running and current idr file loaded when using idris-switch-to-repl #311

Run time

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