Set ft=markdown.agda for *.lagda.md #165
Triggered via pull request
January 15, 2025 11:48
4e554c4c
Status
Cancelled
Total duration
27m 34s
Artifacts
–
ci.yml
on: pull_request
Stack Linux
/
Build
9m 19s
Stack macOS
/
Build
0s
Stack Windows
/
Build
11m 54s
Nix Linux
/
Build Vim plugin
24s
Nix macOS
/
Build Vim plugin
0s
Matrix: Nix Linux / build-package
Matrix: Nix macOS / build-package
Stack Linux
/
Test
3m 30s
Stack macOS
/
Test
0s
Stack Windows
/
Test
13m 24s
Annotations
12 errors
|
Nix macOS / Build package (ghc92)
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 macOS / Build package (ghc92)
GitHub Actions has encountered an internal error when running your job.
|
|
Nix macOS / Build package (ghc96)
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 macOS / Build package (ghc96)
GitHub Actions has encountered an internal error when running your job.
|
|
Nix macOS / Build package (ghc94)
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 macOS / Build package (ghc94)
GitHub Actions has encountered an internal error when running your job.
|
|
Nix macOS / Build package (ghc810)
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 macOS / Build package (ghc810)
GitHub Actions has encountered an internal error when running your job.
|
|
Nix macOS / Build package (ghc810)
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 macOS / Build package (ghc810)
GitHub Actions has encountered an internal error when running your job.
|
|
Nix macOS / Build Vim plugin
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 macOS / Build Vim plugin
GitHub Actions has encountered an internal error when running your job.
|