Address review comments from PR #1 #7
Annotations
1 error
|
Set up job
Unable to resolve action `agda/agda-setup-action@v1`, unable to find version `v1`
|
Loading