Set ft=markdown.agda for *.lagda.md #165
Annotations
2 errors
|
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
|
|
|
The logs for this run have expired and are no longer available.
Loading