Closed rozukke closed 4 months ago
Documentation CI only needs to run after a PR has been merged.
Should also probably happen after PRs involving specific files, i.e. headers, markdown involved in the build, etc.
Closed after workflow fixes and #56
Documentation CI only needs to run after a PR has been merged.