Skip to content
Dogfood Gate

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

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)… #84

Triggered via push June 4, 2026 02:46
@hyperpolymathhyperpolymath
pushed 1aad409
main
Status Success
Total duration 19s
Artifacts –

dogfood-gate.yml

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