Skip to content

feat(#92): widths need not agree for ==, and match arms join on wid… #213

feat(#92): widths need not agree for ==, and match arms join on wid…

feat(#92): widths need not agree for ==, and match arms join on wid… #213

Triggered via push July 29, 2026 01:20
Status Success
Total duration 4m 2s
Artifacts –

dogfood-gate.yml

on: push
Validate A2ML manifests
4s
Validate A2ML manifests
Validate K9 contracts
5s
Validate K9 contracts
Empty-linter (invisible characters)
7s
Empty-linter (invisible characters)
Groove manifest check
5s
Groove manifest check
Dogfooding compliance summary
6s
Dogfooding compliance summary
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Validate A2ML manifests: ./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate A2ML manifests: ./.machine_readable/6a2/0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines