diff options
author | Hugo van Kemenade <hugovk@users.noreply.github.com> | 2023-05-24 13:54:15 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-24 13:54:15 (GMT) |
commit | c3204ed72755042f4727754903e9e6d53b424bb1 (patch) | |
tree | 62eedceebe52ac2f6b2b41eeedcda8436dcde0d5 /.readthedocs.yml | |
parent | a5e0f5b230d2c900ff36be9806e3ddb3d537386b (diff) | |
download | cpython-c3204ed72755042f4727754903e9e6d53b424bb1.zip cpython-c3204ed72755042f4727754903e9e6d53b424bb1.tar.gz cpython-c3204ed72755042f4727754903e9e6d53b424bb1.tar.bz2 |
RtD docs previews: Cancel building PRs if no changes in Doc dir (#104100)
Co-authored-by: Nikita Sobolev <mail@sobolevn.me>
Co-authored-by: Manuel Kaufmann <humitos@gmail.com>
Co-authored-by: Oleg Iarygin <oleg@arhadthedev.net>
Diffstat (limited to '.readthedocs.yml')
-rw-r--r-- | .readthedocs.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.readthedocs.yml b/.readthedocs.yml index 898a9ae..59830c7 100644 --- a/.readthedocs.yml +++ b/.readthedocs.yml @@ -13,6 +13,20 @@ build: python: "3" commands: + # https://docs.readthedocs.io/en/stable/build-customization.html#cancel-build-based-on-a-condition + # + # Cancel building pull requests when there aren't changes in the Doc directory. + # + # If there are no changes (git diff exits with 0) we force the command to return with 183. + # This is a special exit code on Read the Docs that will cancel the build immediately. + - | + if [ "$READTHEDOCS_VERSION_TYPE" = "external" ] && [ "$(git diff --quiet origin/main -- Doc/ .readthedocs.yml; echo $?)" -eq 0 ]; + then + echo "No changes to Doc/ - exiting the build."; + exit 183; + fi + - make -C Doc venv html - mkdir _readthedocs - mv Doc/build/html _readthedocs/html + |