This PR fixes an issue where BUILD_DOCS=1 BUILD_TYPE=None poetry install would check if SpiderMonkey was installed, and if not would build it, despite not being needed.
It also fixes an issue where the nightly docs pushed by Github Actions were being built on a runner that didn't have all of the correct dependencies for Doxygen, leading to broken docs.
This PR fixes an issue where
BUILD_DOCS=1 BUILD_TYPE=None poetry installwould check if SpiderMonkey was installed, and if not would build it, despite not being needed.It also fixes an issue where the nightly docs pushed by Github Actions were being built on a runner that didn't have all of the correct dependencies for Doxygen, leading to broken docs.