Skip to content

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

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

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

Triggered via pull request July 29, 2026 01:18
Status Success
Total duration 30s
Artifacts –

dogfood-gate.yml

on: pull_request
Validate A2ML manifests
7s
Validate A2ML manifests
Validate K9 contracts
4s
Validate K9 contracts
Empty-linter (invisible characters)
5s
Empty-linter (invisible characters)
Groove manifest check
4s
Groove manifest check
Dogfooding compliance summary
5s
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