Skip to content

chore: harden release ci#97

Merged
zkat merged 1 commit into
mainfrom
zkat/harden-release-ci
Jun 23, 2026
Merged

chore: harden release ci#97
zkat merged 1 commit into
mainfrom
zkat/harden-release-ci

Conversation

@zkat

@zkat zkat commented Jun 23, 2026

Copy link
Copy Markdown
Member

No description provided.

@zkat zkat added the technical improvement Non-user-visible technical improvement label Jun 23, 2026
@zkat zkat force-pushed the zkat/harden-release-ci branch from 2215d2a to 0190fcb Compare June 23, 2026 20:49
@zkat zkat merged commit d0667cc into main Jun 23, 2026
4 checks passed
@zkat zkat deleted the zkat/harden-release-ci branch June 23, 2026 21:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

technical improvement Non-user-visible technical improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants