exotica
exotica copied to clipboard
Re-enable documentation building and deploy from CI
Our new multi-OS CI does not allow modification of the source tree and thus cannot build documentation automatically. We should look into re-enabling building and deploying documentation from master.