From 1b8835a554de516d7996a594c047688816c9e970 Mon Sep 17 00:00:00 2001 From: itzzdev09 Date: Mon, 14 Sep 2026 16:03:12 +0530 Subject: [PATCH] ci: describe type checking as proposed separately, not present The workflow comment said type checking lives in typecheck.yml, which only exists in the unmerged #1301, so it implied pull requests already get type-check coverage. Co-Authored-By: Claude Opus 5 --- .github/workflows/checks.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml index 52c326d1c..0e5bd1fb9 100644 --- a/.github/workflows/checks.yml +++ b/.github/workflows/checks.yml @@ -4,7 +4,8 @@ name: Checks # are required yet: the issue's rollout is to land the checks, clear any # baseline failure, and only then mark each green check required. # -# Type checking lives in typecheck.yml, which runs mypy per platform. +# Type checking is not covered here; a per-platform mypy workflow is proposed +# separately in #1301. on: pull_request: