[Draft] Deeper integration with Agda: foundational work #104
L-TChentest.yaml
on: pull_request
Annotations
12 errors and 3 notices
|
Build and Test (ubuntu-latest, Agda-2.8.0)
Process completed with exit code 1.
|
|
Build and Test (ubuntu-latest, Agda-2.7.0.1)
Process completed with exit code 1.
|
|
Build and Test (macos-latest, Agda-2.8.0)
Process completed with exit code 1.
|
|
Build and Test (macos-latest, Agda-2.7.0.1)
Process completed with exit code 1.
|
|
Build and Test (windows-latest, Agda-2.7.0.1)
Process completed with exit code 1.
|
|
Build and Test (ubuntu-latest, Agda-2.6.4.3)
Process completed with exit code 1.
|
|
Build and Test (windows-latest, Agda-2.8.0)
Process completed with exit code 1.
|
|
Build and Test (macos-13, Agda-2.8.0)
Process completed with exit code 1.
|
|
Build and Test (windows-latest, Agda-2.6.4.3)
Process completed with exit code 1.
|
|
Build and Test (macos-latest, Agda-2.6.4.3)
Process completed with exit code 1.
|
|
Build and Test (macos-13, Agda-2.6.4.3)
Process completed with exit code 1.
|
|
Build and Test (macos-13, Agda-2.7.0.1)
Process completed with exit code 1.
|
|
Build and Test (macos-13, Agda-2.8.0)
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
|
|
Build and Test (macos-13, Agda-2.6.4.3)
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
|
|
Build and Test (macos-13, Agda-2.7.0.1)
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
|