Skip to content

chore: back-merge main into develop - #26

Merged
lorem-dev merged 2 commits into
developfrom
main
Jul 30, 2026
Merged

chore: back-merge main into develop#26
lorem-dev merged 2 commits into
developfrom
main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated back-merge of main into develop.

Latest commit on main: 76a206b - Merge pull request #25 from lorem-dev/develop

Triggered by push to main in workflow Back-merge main -> develop run 30377199827.

Merge this PR (or enable auto-merge on it) to keep develop in sync with the latest release commit on main. Resolve any conflicts manually before merging.

lorem-dev and others added 2 commits July 28, 2026 18:13
Nothing cancelled a superseded run. A push to a branch with an open pull request
starts two runs of three jobs for the same commit -- one for the push, one for the
pull request -- and a second push before those finish leaves a dozen jobs queued
against commits nobody is waiting on. That queue is what left the end-to-end job
without a runner for five minutes while its two siblings already had one.

Keyed on the pull request where there is one, so a branch's push run and its
pull-request run stay separate and each cancels only its own predecessor.
@lorem-dev
lorem-dev merged commit 053e08b into develop Jul 30, 2026
15 checks passed
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