Skip to content

ci: pin already-tested to substrax a61235a and grant the reads it makes - #34

Merged
mahdi-shafiei merged 1 commit into
mainfrom
ci/repin-already-tested
Oct 29, 2026
Merged

mahdi-shafiei merged 1 commit into
mainfrom
ci/repin-already-tested

Conversation

@mahdi-shafiei

Copy link
Copy Markdown
Collaborator

Pins substrax's already-tested action to a61235a (substrax #68) and names the reads it makes.

Change.

  • The already_tested job pins the action at a61235a. That action reads only check results through its own query. It also stops counting a pull request with no check as proven, which the action at ec43d80 did, so such a merge would have skipped its tests.
  • The job grants contents, pull-requests, checks and statuses read. A public repository's token reads those anyway. Naming them keeps the job working if the repository turns private: on the private repositories, the default token held contents alone, and every merge reported already tested: false.

Checked: pre-commit over the changed workflows, actionlint with shellcheck (its findings are the same set as on main, none in the changed lines), and avitai-portfolio's CI-rules checker on this branch. The checker's already-tested-pin-is-stale and already-tested-cannot-read-checks findings are gone; every other finding is the same as on main.

The already_tested job pins substrax a61235a. Its action reads only
check results through its own query, and reads a pull request with no
check as unproven, which the action at ec43d80 counted as proven. The
job now names the contents, pull-requests, checks and statuses read the
action makes: a public repository's token reads them anyway, and the
grants keep the job working if the repository turns private.
@mahdi-shafiei
mahdi-shafiei force-pushed the ci/repin-already-tested branch from 2566b42 to 3ba9be1 Compare October 29, 2026 06:07
@mahdi-shafiei
mahdi-shafiei marked this pull request as ready for review October 29, 2026 20:00
@mahdi-shafiei
mahdi-shafiei merged commit c9de928 into main Oct 29, 2026
13 checks passed
@mahdi-shafiei
mahdi-shafiei deleted the ci/repin-already-tested branch October 29, 2026 20:00
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