You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
gh-41027: Avoid excessive parallelism for doc/bootstrap
fix#38753
there's also `docker/setup-make-parallelity.sh` and `src/bin/sage-num-
threads.py` which we should probably prefer to use instead. If you
invoke `meson compile doc-html` with say `-j3`, this isn't respected
either.
But at least this is an improvement of the status quo (99).
### 📝 Checklist
<!-- Put an `x` in all the boxes that apply. -->
- [ ] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.
### ⌛ Dependencies
<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - #12345: short description why this is a dependency -->
<!-- - #34567: ... -->
URL: #41027
Reported by: user202729
Reviewer(s):
0 commit comments