Skip to content

Say how much of the suite CI actually ran, and fail if it shrinks - #7

Merged
mahoudeau merged 1 commit into
mainfrom
ci-hardening
Aug 19, 2026
Merged

Say how much of the suite CI actually ran, and fail if it shrinks#7
mahoudeau merged 1 commit into
mainfrom
ci-hardening

Conversation

@mahoudeau

Copy link
Copy Markdown
Owner

Follow-up to #5, the things that weren't @remmyothman's to fix in a PR that adds CI.

  • permissions: contents: read. The suite builds nothing and publishes nothing.
  • concurrency, cancelling superseded pull request runs but not pushes to main, so every commit on the default branch keeps its result.
  • The skip gap made visible. tools/.cache is gitignored, so on a clean checkout 93 tests skip against 6 with the cache populated. CI reported that as green. It now writes Ran 713 of 806 tests. 93 skipped, because tools/.cache is absent here. into the job summary, and fails if the number grows.

EXPECTED_SKIPS is measured locally with the cache moved aside. This PR is the first run that confirms it against a real clean checkout.

CI runs on a clean checkout, so tools/.cache is absent and the database
tests skip: 93 of them, against 6 when the cache is populated. The
workflow reported that as green. It now says what did not run, and fails
if the number grows.
@mahoudeau
mahoudeau merged commit 5df1cfb into main Aug 19, 2026
2 checks passed
@mahoudeau
mahoudeau deleted the ci-hardening branch August 19, 2026 23:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant