[ ci ] Only ask Stack to install Agda if it has not been installed #586
Annotations
2 errors
|
The run was canceled by @banacorn.
|
|
🔍 Check if Agda has been installed
The operation was canceled.
|
Loading