Skip to content

hash_consing 0.2.2: CI makes the GitHub release of each tag - #5

Merged
Atry merged 1 commit into
mainfrom
release-0.2.2
Oct 1, 2026
Merged

Atry merged 1 commit into
mainfrom
release-0.2.2

Conversation

@Atry

@Atry Atry commented Oct 1, 2026

Copy link
Copy Markdown
Owner

CI pushed the V<version> tag but made no GitHub release; the releases of V0.1.0, V0.2.0 and V0.2.1 were made by hand.

Changes

  • The publish job has a new last step. It reads the version from pack.pl and runs gh release create V<version> --verify-tag --title V<version> --generate-notes with the job's token, which already has contents: write.
  • The step skips a release that already exists, just as swipl pack publish skips a tag already at HEAD, so rerunning the job does not fail.
  • The README's release paragraph mentions the GitHub release.
  • version('0.2.2'), because every merge into main is a release. Merging this pull request is the first run of the new step: it should create the release of V0.2.2.

The library and its tests are unchanged.

🤖 Generated with Claude Code

After swipl pack publish tags V<version>, the publish job creates the
GitHub release of that tag with generated notes, unless it exists.
@Atry
Atry merged commit 934b5bb into main Oct 1, 2026
3 checks passed
@Atry
Atry deleted the release-0.2.2 branch October 1, 2026 03:19
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