Skip to content
Dogfood Gate

feat(echo): echo types through the OCaml pipeline (typecheck + eval + parser) + TangleIR contract #111

Sign in to view logs

feat(echo): echo types through the OCaml pipeline (typecheck + eval + parser) + TangleIR contract

feat(echo): echo types through the OCaml pipeline (typecheck + eval + parser) + TangleIR contract #111

Triggered via pull request June 14, 2026 03:37
@hyperpolymathhyperpolymath
synchronize #45
claude/hopeful-fermi-iXnba
Status Success
Total duration 22s
Artifacts –

dogfood-gate.yml

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