This commit is contained in:
Tom van Woudenberg 2025-02-14 17:30:25 +01:00
parent 38e39a0357
commit 7f16b06b46
2 changed files with 2 additions and 22 deletions

View file

@ -1,19 +0,0 @@
version: 2
build:
os: ubuntu-24.04
tools:
python: "3.13"
jobs:
pre_build:
- "sed -i '\|local_extensions:|,\|^[^ ]|d' book/_config.yml"
- "jupyter-book config sphinx book/"
python:
install:
- requirements: requirements.txt
sphinx:
builder: html
fail_on_warning: true
configuration: book/conf.py

View file

@ -1,4 +1,4 @@
# Build pull requests
# Build pull requests from forks
```{admonition} User types
:class: tip
@ -26,7 +26,6 @@ build:
python: "3.13"
jobs:
pre_build:
- "sed -i '/local_extensions:/,/^[^ ]/d' book/_config.yml"
- "jupyter-book config sphinx book/"
python:
@ -67,4 +66,4 @@ When opening a pull request, GitHub will shows this line:
Click 'Details' to see the logs of the build process.
Whenever the build is done, c
Whenever the build is done, click 'Details' again to see the build book. Tip, click `d` or add `?readthedocs-diff=true` to the url to see the differences on the pages highlighted. Note that this difference functionality is not perfect as it might indicate elements which are not changed and it has issues with buttons, LaTeX and figures.