Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Eliminate duplicate doc build on release
Building on both tags and releases is redundant, so just build on the tags.
- Loading branch information