Repository navigation

WIP: diagnose the Read the Docs timeout (not for merging) - #41

Closed

jtravs wants to merge 10 commits into

mainfrom

fix/rtd-timeout

Closed

WIP: diagnose the Read the Docs timeout (not for merging)#41
jtravs wants to merge 10 commits into
mainfrom
fix/rtd-timeout

Commits on Nov 4, 2026
- Diagnose the Read the Docs timeout [skip ci]
  
  jtravs
  and
  claude
  committed
  aecaad0
- Run the diagnostic under sh, which has no pipefail [skip ci]
  
  jtravs
  and
  claude
  committed
  32cdb4b
- Keep the diagnostic's log whatever the build does [skip ci]
  
  jtravs
  and
  claude
  committed
  1e10160
- Hold no single quotes in the diagnostic, as Read the Docs quotes it [skip ci]
  
  jtravs
  and
  claude
  committed
  8856206
- Merge remote-tracking branch 'origin/main' into fix/rtd-timeout
  jtravs
  committed
  1c83e51
- Test the build with its output sent to a file [skip ci]
  
  jtravs
  and
  claude
  committed
  982c881
- Run CI on the Read the Docs fix
  
  jtravs
  and
  claude
  committed
  2c47c26
- Watch a build whose output goes to Read the Docs [skip ci]
  
  jtravs
  and
  claude
  committed
  c374000
- Send only the end of the log to Read the Docs [skip ci]
  
  jtravs
  and
  claude
  committed
  4bb99a5
- Trace builds until one fails to finish in time [skip ci]
  
  jtravs
  and
  claude
  committed
  11ec136