Skip to content
Idris1 on Ubuntu

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

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 #322

Run time

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