Skip to content

CI: OS and probe legs skip inert-only diffs, after a convention test for portable file names #73

Open

Description

@CaffeinatedCoder

Problem

A PR that changes only docs/, design/ or *.md still runs the Windows and macOS legs (8.9 and 8.0 min) and five probe legs (4.5 to 7.9 min each, mostly building the prober). The Linux test leg already runs every convention and docs test. In the last 50 merged PRs this affected 5 PRs (10%). Their runs took about 17 minutes, where about 6 would do.

A docs-only PR can still break the Windows leg, though: for example, a file name Windows cannot check out (a reserved character, a trailing dot, two names that differ only in case).

Change

Done when

The file-name test fails a seeded docs/a:b.md and a case collision, and a docs-only PR runs only Test (ubuntu-latest), Changes and the gate.

Activity

  1. added this to the 2.3.0 milestone on Oct 20, 2026
  2. added
    testsAdds or changes tests only (tests, probes, harnesses); no library code
    choreBuild, CI, tooling, packaging, refactoring with no behaviour change
    area/toolingThe repository's tools: prober, verdict, guard, docs-query, smoke test
    on Oct 20, 2026
  3. removed
    testsAdds or changes tests only (tests, probes, harnesses); no library code
    on Oct 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area/toolingThe repository's tools: prober, verdict, guard, docs-query, smoke testchoreBuild, CI, tooling, packaging, refactoring with no behaviour change

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions