Merge pull request #156 from iwashis/master #3
4e554c4cAnnotations
2 errors
|
Nix Agda (macos-12)
The macOS-12 environment is deprecated, consider switching to macOS-13, macOS-14 (macos-latest) or macOS-15. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Nix Agda (macos-12)
GitHub Actions has encountered an internal error when running your job.
|