Skip to content

Merge pull request #10 from negillett/bug-fixes #29

Merge pull request #10 from negillett/bug-fixes

Merge pull request #10 from negillett/bug-fixes #29

Triggered via push May 7, 2026 12:48
Status Success
Total duration 44s
Artifacts 1

ci.yml

on: push
no-handwritten-model-types
5s
no-handwritten-model-types
hardening
10s
hardening
intentproof-spec
19s
intentproof-spec
spec-golden-parity
21s
spec-golden-parity
audit
27s
audit
Matrix: tox
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
conformance-report-python
542 Bytes
sha256:5862857a45d8e9fb154a40b3d5368608980d46a4dd96fa67840330ed7cc1d42e