Skip to content
CI

Include Agda files needed for tests in sdist #156

Sign in to view logs

Include Agda files needed for tests in sdist

Include Agda files needed for tests in sdist #156

Triggered via pull request May 16, 2024 17:44
@phijorphijor
opened #151
phijor:fix-missing-sdist-files
Status Success
Total duration 24m 11s
Artifacts –

ci.yml

on: pull_request
Stack Linux  /  Build
2m 33s
Stack Linux / Build
Stack macOS  /  Build
14m 36s
Stack macOS / Build
Stack Windows  /  Build
7m 33s
Stack Windows / Build
Nix Linux  /  Build Vim plugin
24s
Nix Linux / Build Vim plugin
Nix macOS  /  Build Vim plugin
1m 28s
Nix macOS / Build Vim plugin
Matrix: Nix Linux / build-package
Matrix: Nix macOS / build-package
Stack Linux  /  Test
11m 59s
Stack Linux / Test
Stack macOS  /  Test
5m 47s
Stack macOS / Test
Stack Windows  /  Test
16m 12s
Stack Windows / Test
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Stack Linux / Build
Failed to save: Cache service responded with 429 during commit cache.
Stack Linux / Test
Failed to restore: Cache service responded with 429
Stack Linux / Test
Failed to restore: Cache service responded with 429
Stack macOS / Build
Failed to restore: Cache service responded with 429
Stack macOS / Build
Failed to restore: Cache service responded with 429