File tree Expand file tree Collapse file tree 3 files changed +2
-1
lines changed
template/{% if git_platform=="github.com" %}.github{% endif %}/workflows Expand file tree Collapse file tree 3 files changed +2
-1
lines changed Original file line number Diff line number Diff line change 2828 run : python .github/pages/make_switcher.py --add $DOCS_VERSION ${{ github.repository }} .github/pages/switcher.json
2929
3030 - name : Publish Docs to gh-pages
31- if : github.ref_type == 'tag' || github.ref_name == 'main'
3231 # We pin to the SHA, not the tag, for security reasons.
3332 # https://docs.github.com/en/actions/learn-github-actions/security-hardening-for-github-actions#using-third-party-actions
3433 uses : peaceiris/actions-gh-pages@4f9cc6602d3f66b9c108549d475ec49e8ef4d45e # v4.0.0
Original file line number Diff line number Diff line change 3434
3535 push_docs :
3636 needs : [test, docs]
37+ if : github.ref_type == 'tag' || github.ref_name == 'main'
3738 uses : ./.github/workflows/_push_docs.yml
3839 permissions :
3940 contents : write
Original file line number Diff line number Diff line change 5757
5858 push_docs:
5959 needs: [test, docs]
60+ if: github.ref_type == 'tag' || github.ref_name == 'main'
6061 uses: ./.github/workflows/_push_docs.yml
6162 permissions:
6263 contents: write
You can’t perform that action at this time.
0 commit comments