Skip to content
Dogfood Gate

Echo-types as a type-system feature + decidability + let (proof work) #81

Sign in to view logs

Echo-types as a type-system feature + decidability + let (proof work)

Echo-types as a type-system feature + decidability + let (proof work) #81

Triggered via pull request June 3, 2026 17:52
@hyperpolymathhyperpolymath
opened #34
claude/hopeful-fermi-iXnba
Status Success
Total duration 16s
Artifacts –

dogfood-gate.yml

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

Annotations

1 warning
Validate A2ML manifests: ./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines