Skip to content

improve release documentation#821

Merged
amol- merged 7 commits into
mainfrom
release-tweaks
Jul 16, 2026
Merged

improve release documentation#821
amol- merged 7 commits into
mainfrom
release-tweaks

Conversation

@amol-

@amol- amol- commented Jul 16, 2026

Copy link
Copy Markdown
Collaborator

Intent

Make release documentation as repeatable as possible and ideally copy-pastable

Type of Change

  • Documentation

@github-actions

github-actions Bot commented Jul 16, 2026

Copy link
Copy Markdown
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-07-16 17:31 UTC

@github-actions

github-actions Bot commented Jul 16, 2026

Copy link
Copy Markdown

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
7644 6360 83% 0% 🟢

New Files

No new covered files...

Modified Files

No covered modified files...

updated for commit: 58fad7f by action🐍

@amol-
amol- marked this pull request as ready for review July 16, 2026 13:06
@amol-
amol- requested a review from edavidaja July 16, 2026 13:10

@edavidaja edavidaja left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could we add a couple of just targets for the release workflow? That might make it easier to do the right thing.

@amol-

amol- commented Jul 16, 2026

Copy link
Copy Markdown
Collaborator Author

Could we add a couple of just targets for the release workflow? That might make it easier to do the right thing.

Agree, that would be the right thing to do.
But before turning those into automation it made sense to confirm this flow works as expected by having someone else than me execute it. If we all agree this flow is the right one, then we can easily move the snippets into just scripts

@amol-
amol- enabled auto-merge (squash) July 16, 2026 17:20
@amol-
amol- merged commit bc68be5 into main Jul 16, 2026
23 checks passed
@amol-
amol- deleted the release-tweaks branch July 16, 2026 17:31
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.

2 participants