Removing unecessary command

Embarcadero · Mar 10, 2023 · 786213f · 786213f
1 parent 9ccd791
commit 786213f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/sphinx-build.yaml b/.github/workflows/sphinx-build.yaml
@@ -3,7 +3,7 @@ on:
   # Manual run
   workflow_dispatch:
 permissions:
-    contents: write
+  contents: write
 jobs:
   docs:
     runs-on: windows-latest
@@ -18,7 +18,6 @@ jobs:
       - name: Sphinx build
         run: |
           sphinx-build docs/source _build
-          dir
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         # if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}