RtD docs previews: Cancel building PRs if no changes in Doc dir by hugovk · Pull Request #104100 · python/cpython · GitHub

github.com

Tin mới

hugovk:rtd-doc-dir-only

GitHub CopilotWrite better code with AI

GitHub Copilot appDirect agents from issue to merge

ActionsAutomate any workflow

CodespacesInstant dev environments

IssuesPlan and track work

Code ReviewManage code changes

Code QualityEnforce quality at merge

GitHub Advanced SecurityFind and fix vulnerabilities

Code securitySecure your code as you build

Secret protectionStop leaks before they start

View all use cases

Financial services

View all industries

Software Development

GitHub SponsorsFund open source developers

Copilot for BusinessEnterprise-grade AI features

Premium SupportEnterprise-grade 24/7 support

Pull requests 2.6k

Security and quality 0

Cancel building PRs when there aren't changes in the Doc directory

awaiting core review

awaiting core review

The keys build.jobs and build.commands can't be used together

Replace Netlify with Read the Docs build previews #103843

View reviewed changes

Move "then" to same line as "if"

View reviewed changes

Learn more about hiding disruptive comments

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

Bracket both expressions

readthedocs/readthedocs.org#10206

Hi! Sorry for the late reply. I've been on vacations and then Write the Docs conference after that.

Remove duplicate 'the'

View reviewed changes

Merge branch 'main' into rtd-doc-dir-only

Use | for multiline string

https://github.com/readthedocs/readthedocs.org/

Hi @hugovk. This should be reporting success (✅) to GitHub when the build is skipped. It seems we introduced a bug here or something that broke this behavior. If you have the time, please open an issue in https://github.

Skipped PR build remains a pending check in GitHub UI readthedocs/readthedocs.org#10364

gh-89886: Rely on HAVE_SYS_TIME_H #105058

Remove superflous whitespaces in layout.html. #107067