This repository was archived by the owner on Oct 8, 2025. It is now read-only.
This repository was archived by the owner on Oct 8, 2025. It is now read-only.
Fix auto-publishing of documentation #652
Description
What it says, this still isn't quite working right! We need GitHub Actions to fully publish and release documentation when code is accepted.