Skip to content

ghci-script-mode: Fix script loading by ghci-script-mode-load. #194

ghci-script-mode: Fix script loading by ghci-script-mode-load.

ghci-script-mode: Fix script loading by ghci-script-mode-load. #194

Re-run triggered September 20, 2023 05:37
Status Success
Total duration 2m 46s
Artifacts

test.yml

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

Annotations

1 error
build (snapshot)
Process completed with exit code 2.