Repository navigation
fix(proofs): restore the proof gate (dedupe allTake, read idris2 pin, run on every PR) #965
hyperpolymathdogfood-gate.yml
on: pull_request
Validate DEED manifests
7s
Validate K9 contracts
4s
Empty-linter (invisible characters)
5s
Groove manifest check
4s
Validate eclexiaiser manifest
7s
Dogfooding compliance summary
6s
Annotations
15 warnings and 7 notices
|
Empty-linter (invisible characters):
docs/decisions/0008-cartridge-marketplace.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/decisions/0010-cross-machine-coord-federation.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/decisions/0007-trust-tier-policy-dsl.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/decisions/0012-server-initiated-sampling.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/decisions/0011-webhooks-inbound-mcp-notifications.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/decisions/0014-cross-cartridge-composition-safety.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/decisions/0003-extract-cartridge-spec-standalone.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/decisions/0013-streamable-http-transport.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/decisions/0015-backend-file-lock-primitive.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
CHANGELOG.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Validate eclexiaiser manifest
Containerfile present but no eclexiaiser.toml. Run `eclexiaiser init` to scaffold energy/carbon budgets.
|
|
Validate DEED manifests:
./verification/tests/0.2-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./.machine_readable/6a2/anchor/0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./.machine_readable/6a2/0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./.github/0.1-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Groove manifest check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Validate K9 contracts
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Empty-linter (invisible characters)
24 file(s) carry invisible Unicode (NBSP/BOM/zero-width) - advisory only
|
|
Empty-linter (invisible characters)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Validate eclexiaiser manifest
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Validate DEED manifests
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Dogfooding compliance summary
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|