Get Agda version via interaction mode #185
4e554c4cci.yml
on: pull_request
Stack Linux
/
Build
47s
Stack Windows
/
Build
6m 5s
Nix Linux
/
Build Vim plugin
23s
Matrix: Nix Linux / build-package
Stack Linux
/
Test
1h 0m
Stack Windows
/
Test
1h 11m
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 2 failed. Reason: Timeout of 1200000ms hit
|
|
Stack Linux / Test
Attempt 1 failed. Reason: Timeout of 1200000ms hit
|
|
Stack Windows / Test
Attempt 2 failed. Reason: Timeout of 1200000ms hit
|
|
Stack Windows / Test
Attempt 1 failed. Reason: Timeout of 1200000ms hit
|