Make/build cut-off · purescript/purescript@17e4d2d · GitHub
Skip to content
CI

Make/build cut-off #1705

Sign in to view logs

Make/build cut-off

Make/build cut-off #1705

Re-run triggered July 8, 2026 02:37
@garybgaryb
#4477
wclr:make-cutoff
Status Failure
Total duration 1m 7s
Artifacts –

ci.yml

on: pull_request
Matrix: build
lint
21m 28s
lint
make-prerelease
make-prerelease
Fit to window
Zoom out
Zoom in

Annotations

1 warning