Add a custom target for running everything when landing a pull request
Review Request #2387 — Created March 24, 2023 and submitted
Add a custom target for running everything when landing a pull request
Ran
ninja clean
followed byninja turtles
and verified the pot file, all the code, and the docs were compiled.
Summary | ID |
---|---|
5d70c782e9d71a9511f453ac06d6936e39d55b90 |