Open schmidma opened 3 weeks ago
The CI is currently only building the documentation when running on main. This leads to not checking, whether the documentation can actually be built when merging a pull request.
main
A CI job should also build the documentation on pull requests.
The CI is currently only building the documentation when running on
main. This leads to not checking, whether the documentation can actually be built when merging a pull request.A CI job should also build the documentation on pull requests.