Minor tag for pushing documentation
·
2 commits
to main
since this release
Build documentation when pushing to gh-pages and push only from tag commits
Build documentation when pushing to gh-pages and push only from tag commits