这是indexloc提供的服务,不要输入任何密码
Skip to content

Conversation

@TedTed
Copy link
Contributor

@TedTed TedTed commented Sep 9, 2025

This adds two jobs to the release workflow:

  • The distribution packages are published to PyPI if the tests & benchmarks pass.
  • The docs are published only for production releases (not alpha/beta/rc), since we already have dev docs. It is only executed if the packages have been publishd to PyPI, because I figured it's better to temporarily have a release without docs than the other way around.

This PR also changes the accepted tags to remove the "dev" suffix, which I don't think we've ever used. Alpha, beta & rc ought to be enough? It adds comments about our CI to workflow definition files and to CONTRIBUTING.md.

I was able to successfully test the publication to PyPI logic (see here). The docs publication logic cannot be tested because it can only be run from a protected branch, if I understand this error correctly. So I think I need to merge this PR and then create a release using a tag from the main branch to make sure that it works. The job logic itself is copied from commit.yml, with only the version name different and the additional version check.

@TedTed TedTed changed the title Publish to PyPI when someone adds a version tag to a GitHub branch Publish to PyPI when someone adds a version tag to main Sep 9, 2025
@TedTed TedTed changed the title Publish to PyPI when someone adds a version tag to main Adds docs generation and PyPI publishing to the release workflow Sep 9, 2025
Copy link
Contributor

@Maegereg Maegereg left a comment

Choose a reason for hiding this comment

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

I'd suggest testing the docs-push job before committing. What I usually do is:

  • Add my branch to the whitelist for the docs-push environment.
  • Set the dry-run argument to the push-docs action.
  • Test it.
  • Be sure to remove my branch from the docs-push environment when I'm done.

Otherwise, this looks good!

TedTed and others added 3 commits September 10, 2025 06:45
Co-authored-by: dasm <maegereg@gmail.com>
Co-authored-by: dasm <maegereg@gmail.com>
@TedTed
Copy link
Contributor Author

TedTed commented Sep 10, 2025

Thanks for the instructions, the Push-Docs job really needed testing! I think this is ready to merge now.

Note that adding this branch (wheelsinci) to the docs-push environment did not work, I had to explicitly add the tag for it to work. This makes me wonder whether this will work once I delete this and I try to release from main… but we'll see.

@TedTed TedTed linked an issue Sep 10, 2025 that may be closed by this pull request
@TedTed TedTed linked an issue Sep 10, 2025 that may be closed by this pull request
This was unlinked from issues Sep 10, 2025
@TedTed TedTed added this pull request to the merge queue Sep 10, 2025
Merged via the queue into main with commit 446a680 Sep 10, 2025
3 checks passed
@TedTed TedTed deleted the wheelsinci branch September 10, 2025 21:48
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.

3 participants