Merge pull request atomvm#829 from UncleGrumpy/publish_docs

Fix publish-docs.yaml
UncleGrumpy · Oct 2, 2023 · 6a84835 · 6a84835
2 parents 29a0e41 + 01c8693
commit 6a84835
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/.github/workflows/publish-docs.yaml b/.github/workflows/publish-docs.yaml
@@ -94,11 +94,6 @@ jobs:
         shell: bash
         run: |
           . /home/runner/python-env/sphinx/bin/activate
-          if [ ${GITHUB_REPOSITORY} == 'atomvm/AtomVM' ]; then {
-            for remote in `git tag -l | grep -v "/HEAD\|${{ github.ref_name }}"`; do git checkout --track $remote; done
-            git checkout ${{ github.ref_name }}
-          };
-          fi
           mkdir build
           cd build
           cmake ..