[ ci ] Only ask Stack to install Agda if it has not been installed #588
Annotations
1 error
|
💾 Restore stack-installed binaries in ~/.local/bin
Input required and not supplied: path
|
Loading