Skip to content
Cross-Platform Build & Test

feat: comprehensive improvements — Idris2 proofs, fuzz testing, CI, docs #2

Sign in to view logs

feat: comprehensive improvements — Idris2 proofs, fuzz testing, CI, docs

feat: comprehensive improvements — Idris2 proofs, fuzz testing, CI, docs #2

Triggered via push April 10, 2026 01:07
@JoshuaJewellJoshuaJewell
pushed 89a5739
main
Status Failure
Total duration 34s
Artifacts –

cross-platform.yml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Windows
Unable to resolve action `goto-bus-stop/setup-zig@7ab2955eb728f5440978d7e4148f16f0e36aa02f`, unable to find version `7ab2955eb728f5440978d7e4148f16f0e36aa02f`
macOS
Unable to resolve action `goto-bus-stop/setup-zig@7ab2955eb728f5440978d7e4148f16f0e36aa02f`, unable to find version `7ab2955eb728f5440978d7e4148f16f0e36aa02f`
Linux
Unable to resolve action `goto-bus-stop/setup-zig@7ab2955eb728f5440978d7e4148f16f0e36aa02f`, unable to find version `7ab2955eb728f5440978d7e4148f16f0e36aa02f`