Skip to content
CI

Rename spec pin wrapper to check-consumer-spec-pin.sh #113

Sign in to view logs

Rename spec pin wrapper to check-consumer-spec-pin.sh

Rename spec pin wrapper to check-consumer-spec-pin.sh #113

Triggered via push May 9, 2026 06:21
@negillettnegillett
pushed 776dab8
main
Status Failure
Total duration 42s
Artifacts –

ci.yml

on: push
no-handwritten-model-types
7s
no-handwritten-model-types
hardening
11s
hardening
intentproof-spec
6s
intentproof-spec
spec-golden-parity
28s
spec-golden-parity
audit
25s
audit
Matrix: tox
Fit to window
Zoom out
Zoom in

Annotations

3 errors
intentproof-spec
Process completed with exit code 127.
hardening
Process completed with exit code 1.
tox (static, 3.x, true)
Process completed with exit code 127.