Merge pull request #2 from agda/copilot/fix-review-comments-in-pr-1 #10
Annotations
1 error
|
Set up job
Unable to resolve action `agda/agda-setup-action@v1`, unable to find version `v1`
|
Loading