Merge remote-tracking branch 'sexp/release-2.6.3-sexp' #5
Annotations
1 error
|
Install dependencies for Agda and `agda-tests` (i.e. the test suite).
Process completed with exit code 1.
|
Loading