Skip to content
This repository was archived by the owner on Oct 1, 2026. It is now read-only.

ci: drop the PR edit guard on public workflows - #140

Merged
Bugs5382 merged 1 commit into
mainfrom
ci/github-10-drop-pr-edit-guard
Oct 1, 2026
Merged

Bugs5382 merged 1 commit into
mainfrom
ci/github-10-drop-pr-edit-guard

Conversation

@Bugs5382

@Bugs5382 Bugs5382 commented Oct 1, 2026

Copy link
Copy Markdown
Contributor

What and why

The build, lint, licence, DCO and golic workflows carried an edited-event guard so that retargeting a stacked PR onto main would start CI. GitHub doesn't render the name of a job its if: skips, so every title or body edit left a skipped run listed under the raw expression, and the guard saves nothing on GitHub-hosted runners in a public repo.

These workflows now use the hub template shape: edited is gone from the pull_request types, the (edit, not run) name suffix and the changes.base part of if: are removed, and the concurrency group is the plain per-PR group. The main branch filter, the draft skip and timeout-minutes are unchanged. PR Checks and the Label Checker keep edited.

After a stacked PR is retargeted onto main, CI starts on its next push, or when the PR is toggled to draft and back to ready. The README and the CI notes in CLAUDE.md say so.

Workflows: action-lint.yaml, ci-generate.yaml, job-dco.yaml, job-golic.yaml, job-license-check-go.yaml
Docs: CLAUDE.md, README.md

Refs CryptOS-PKI/.github#10

Verification

  • Lint clean
  • Documentation updated (if behavior or API changed)

How this was verified

  • actionlint 1.7.12 (the pinned release, checksum verified) is clean, with and without -shellcheck=.
  • yamllint -d relaxed on the changed workflows reports fewer findings than before (the long expression lines are gone) and no new ones.
  • task license exits 0.
  • No workflow contains changes.base or edit, not run.

Before merging: add a closing comment summarizing what was actually done in this PR
(not just the checked boxes).

Use the hub template shape for the build, lint, licence, DCO and golic
workflows: no edited trigger, plain job names, no edit-only if: or
concurrency suffix. After retargeting a stacked PR onto main, CI starts
on the next push or a draft-then-ready toggle; the docs say so.

Refs CryptOS-PKI/.github#10

Signed-off-by: Bugs5382 <12115015+Bugs5382@users.noreply.github.com>
@Bugs5382 Bugs5382 self-assigned this Oct 1, 2026
@Bugs5382
Bugs5382 marked this pull request as ready for review October 1, 2026 13:40
@github-actions github-actions Bot added the skip-changelog Excluded from release notes (chore/ci/test/style). label Oct 1, 2026
@Bugs5382

Bugs5382 commented Oct 1, 2026

Copy link
Copy Markdown
Contributor Author

Merging for the v0.1.0 test run: CI green and mergeable at merge time.

@Bugs5382
Bugs5382 merged commit 3f60ae9 into main Oct 1, 2026
16 checks passed
@Bugs5382
Bugs5382 deleted the ci/github-10-drop-pr-edit-guard branch October 1, 2026 13:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

skip-changelog Excluded from release notes (chore/ci/test/style).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant