Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: modify docs job to run on pull requests but only push on main
This should ensure that docs will still build on any merge but only push the generated HTML once it hits main.
- Loading branch information