Skip to content
CI

Set ft=markdown.agda for *.lagda.md #171

Sign in to view logs

Set ft=markdown.agda for *.lagda.md

Set ft=markdown.agda for *.lagda.md #171

Triggered via push January 15, 2025 13:21
@4e554c4c4e554c4c
pushed fd61ff3
master
Status Failure
Total duration 1h 0m 52s
Artifacts –

ci.yml

on: push
Stack Linux  /  Build
8m 49s
Stack Linux / Build
Stack macOS  /  Build
6s
Stack macOS / Build
Stack Windows  /  Build
11m 14s
Stack Windows / Build
Nix Linux  /  Build Vim plugin
26s
Nix Linux / Build Vim plugin
Nix macOS  /  Build Vim plugin
1m 33s
Nix macOS / Build Vim plugin
Matrix: Nix Linux / build-package
Matrix: Nix macOS / build-package
Stack Linux  /  Test
3m 38s
Stack Linux / Test
Stack macOS  /  Test
0s
Stack macOS / Test
Stack Windows  /  Test
24m 8s
Stack Windows / Test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 6 warnings
Stack macOS / Build
Process completed with exit code 127.
Stack Linux / Build
Failed to restore: Cache service responded with 429
Stack Linux / Build
Failed to restore: Cache service responded with 429
Stack Windows / Build
Failed to restore: Cache service responded with 429
Stack Windows / Build
Failed to restore: Cache service responded with 429
Stack Windows / Test
Failed to restore: Cache service responded with 429
Stack Windows / Test
Failed to restore: Cache service responded with 429