Fix Agda RPC for upcoming 2.8.0 #180
Triggered via pull request
February 20, 2025 14:53
4e554c4c
Status
Failure
Total duration
1h 25m 37s
Artifacts
–
ci.yml
on: pull_request
Stack Linux
/
Build
9m 57s
Stack Windows
/
Build
11m 14s
Nix Linux
/
Build Vim plugin
25s
Matrix: Nix Linux / build-package
Stack Linux
/
Test
1h 0m
Stack Windows
/
Test
1h 13m
Annotations
2 errors and 4 warnings
|
Stack Linux / Test
Final attempt failed. Timeout of 1200000ms hit
|
|
Stack Windows / Test
Final attempt failed. Timeout of 1200000ms hit
|
|
Stack Linux / Test
Attempt 1 failed. Reason: Timeout of 1200000ms hit
|
|
Stack Linux / Test
Attempt 2 failed. Reason: Timeout of 1200000ms hit
|
|
Stack Windows / Test
Attempt 1 failed. Reason: Timeout of 1200000ms hit
|
|
Stack Windows / Test
Attempt 2 failed. Reason: Timeout of 1200000ms hit
|