Skip to content

Build and release .deb files based on git tags#1

Merged
piki merged 4 commits into
masterfrom
piki/ci-make-me-a-deb
Jun 17, 2026
Merged

Build and release .deb files based on git tags#1
piki merged 4 commits into
masterfrom
piki/ci-make-me-a-deb

Conversation

@piki

@piki piki commented Jun 17, 2026

Copy link
Copy Markdown
Collaborator

I'm impatient, and I don't want to wait for upstream to release v1.2.0 with the fix in ChenHuajun#68, then for PGDG to make packages for it. So I'm adding a workflow here to post .deb files as GitHub releases. The first one will be v1.2.0, because that's the release upstream is working toward.

Made a tag:

git tag v1.2.0-1.pscale1 && git push origin v1.2.0-1.pscale1

Future syncs from upstream can be v1.2.0-1.pscale{n}. Eventually, we'll probably switch over to upstream's releases and abandon this fork.

piki added 4 commits June 17, 2026 18:18
To make an appropriate tag:
```
git tag v1.2.0-1.pscale1 && git push origin v1.2.0-1.pscale1
```
Build environment for Pg18 has -Werror -Wmissing-variable-declarations,
which throws some warnings in roaring.[ch] and makes them fatal.  Just
ignore that.  We can't change roaring.[ch], because they're vendored from
CRoaring.
@piki piki merged commit 5d112dc into master Jun 17, 2026
8 checks passed
@piki piki deleted the piki/ci-make-me-a-deb branch June 17, 2026 22:58
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