Update the master CI workflow (#881)

This should fix the master build, since it seems that we are caching what we shouldn't.
boa-dev · Oct 16, 2020 · dc1628a · dc1628a
1 parent 0c6bcac
commit dc1628a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -30,7 +30,9 @@ jobs:
           command: doc
           args: -v --document-private-items
       - run: echo "<meta http-equiv=refresh content=0;url=boa/index.html>" > target/doc/index.html
-      - run: mkdir target/doc_upload && mv target/doc target/doc_upload/doc
+      - run: |
+          if [ -d target/doc_upload ]; then rm -rf target/doc_upload; fi
+          mkdir target/doc_upload && mv target/doc target/doc_upload/doc
       - name: Upload documentation
         uses: crazy-max/ghaction-github-pages@v2
         with: