Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[stubsabot] Bump docutils to 0.21.* #11738

Closed
wants to merge 1 commit into from
Closed

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Apr 10, 2024

Release: https://pypi.org/pypi/docutils/0.21.1
Homepage: https://docutils.sourceforge.io
Repository: https://sourceforge.net/p/docutils/code
Typeshed stubs: https://github.com/python/typeshed/tree/main/stubs/docutils

If stubtest fails for this PR:

  • Leave this PR open (as a reminder, and to prevent stubsabot from opening another PR)
  • Fix stubtest failures in another PR, then close this PR

Note that you will need to close and re-open the PR in order to trigger CI

@github-actions github-actions bot added the bot: stubsabot 🤖 PRs created by stubsabot 🤖 label Apr 10, 2024
@JelleZijlstra JelleZijlstra reopened this Apr 10, 2024
@JelleZijlstra JelleZijlstra force-pushed the stubsabot/docutils branch 2 times, most recently from 75e1128 to 6230b08 Compare April 15, 2024 02:28
Release: https://pypi.org/pypi/docutils/0.21.1
Homepage: https://docutils.sourceforge.io
Repository: https://sourceforge.net/p/docutils/code
Typeshed stubs: https://github.com/python/typeshed/tree/main/stubs/docutils

If stubtest fails for this PR:
- Leave this PR open (as a reminder, and to prevent stubsabot from opening another PR)
- Fix stubtest failures in another PR, then close this PR

Note that you will need to close and re-open the PR in order to trigger CI
@Avasam Avasam mentioned this pull request Apr 21, 2024
@AlexWaygood AlexWaygood deleted the stubsabot/docutils branch April 22, 2024 12:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bot: stubsabot 🤖 PRs created by stubsabot 🤖
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant