Skip to content
CI

Fix Agda RPC for upcoming 2.8.0 #23

Sign in to view logs

Fix Agda RPC for upcoming 2.8.0

Fix Agda RPC for upcoming 2.8.0 #23

Triggered via push February 20, 2025 14:52
@4e554c4c4e554c4c
pushed 4262831
fix-interval
Status Failure
Total duration 1h 28m 10s
Artifacts –

ci.yml

on: push
Stack Linux  /  Build
9m 53s
Stack Linux / Build
Stack Windows  /  Build
12m 38s
Stack Windows / Build
Nix Linux  /  Build Vim plugin
25s
Nix Linux / Build Vim plugin
Matrix: Nix Linux / build-package
Stack Linux  /  Test
1h 0m
Stack Linux / Test
Stack Windows  /  Test
1h 15m
Stack Windows / Test
Fit to window
Zoom out
Zoom in

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