Skip to content
Idris1 on Ubuntu

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

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

Triggered via pull request October 4, 2025 15:29
@keramkeram
synchronize #643
keram:jump-to-repl-from-cold
Status Success
Total duration 2m 4s
Artifacts –

idris1.yml

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