Add GitHub composite action for installing Agda and standard library #8
andreasabeltest.yml
on: pull_request
test-linux
9s
test-windows
19s
test-macos
11s
test-macos-intel
12s
Annotations
1 notice
|
test-macos-intel
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
|