Skip to content

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

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

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

Triggered via pull request May 9, 2026 05:43
Status Failure
Total duration 40s
Artifacts

ci.yml

on: pull_request
no-handwritten-model-types
4s
no-handwritten-model-types
hardening
7s
hardening
intentproof-spec
13s
intentproof-spec
spec-golden-parity
23s
spec-golden-parity
audit
26s
audit
Matrix: tox
Fit to window
Zoom out
Zoom in

Annotations

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