Skip to content

Ci/avoid duplicate pr builds - #4

Merged
mcepl merged 3 commits into
mainfrom
ci/avoid-duplicate-pr-builds
Oct 29, 2026
Merged

mcepl merged 3 commits into
mainfrom
ci/avoid-duplicate-pr-builds

Conversation

@mcepl

@mcepl mcepl commented Oct 29, 2026

Copy link
Copy Markdown

No description provided.

mcepl added 3 commits October 29, 2026 11:25
- Bundle gitea-cli 0.2.0 as `gt` and note it is not Graphite
- Verify gh, glab, and gt are executable in /app/bin before export
@mcepl
mcepl merged commit 66c67a9 into main Oct 29, 2026
1 check passed
@mcepl
mcepl deleted the ci/avoid-duplicate-pr-builds branch October 29, 2026 13:03
mcepl pushed a commit that referenced this pull request Oct 30, 2026
Preserve the original contributor commits from PRs #2, #4, #6, 0cwa#7, 0cwa#8, 0cwa#10,
and 0cwa#11, together with the reviewed security and Pages fixes (0cwa#12/0cwa#13, including
#5). Retain current main's v0.1.5 AppImage pin.

Keep history persistent on older Flatpak clients, align tool fixtures to 26.08,
and exercise bundled binaries plus absent/installed/removed extension loading.
Run installed SSH boundary checks and both source regression gates before merge.
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