Skip to content

ci(publish): create the GitHub release through the REST API - #17

Merged
drewstone merged 1 commit into
mainfrom
ci/release-without-gh-cli
Aug 21, 2026
Merged

ci(publish): create the GitHub release through the REST API#17
drewstone merged 1 commit into
mainfrom
ci/release-without-gh-cli

Conversation

@drewstone

Copy link
Copy Markdown
Contributor

The 0.3.0 publish reached npm (@tangle-network/playproof@0.3.0, shasum 8e3537ac) and then failed on the release step with gh: command not found: the self-hosted pool has no GitHub CLI. The step now uses the REST API with the job token to check for an existing release, create it with generated notes, and upload the archive and SHA256SUMS. The npm step is unchanged and stays idempotent.

@drewstone
drewstone merged commit e738ee7 into main Aug 21, 2026
5 checks passed
@drewstone
drewstone deleted the ci/release-without-gh-cli branch August 21, 2026 01:10
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