Shorter title: "Triggering on pull requests" #1617

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.

Sign up for GitHub

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

Jump to bottom

Merged

hugovk merged 1 commit into python:main from hugovk:buildbots

Jul 23, 2025

Member

hugovk commented Jul 23, 2025 •

edited by github-actions bot

Loading

Little followup to #1605, we're already on the buildbots page, we can make the title a bit more concise. cc @hoodmane

📚 Documentation preview 📚: https://cpython-devguide--1617.org.readthedocs.build/


          Shorter title

ccc2c01

Contributor

hoodmane commented Jul 23, 2025

Thanks @hugovk !

hugovk merged commit 0c953f3 into python:main

5 checks passed

hugovk deleted the buildbots branch

July 23, 2025 09:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet