docs: fix more auto-format casualties (#943)

2024-12-06 19:26:27 +01:00 · 2021-04-27 17:44:49 +02:00
parent 0c53b7121e
commit e308521a95
4 changed files with 58 additions and 63 deletions
@@ -24,10 +24,4 @@ jobs:
            mkdocs-material \
            md-toc
      - name: Generate docs
-        run: mkdocs gh-deploy --strict
-#      - name: Publish docs
-#        uses: peaceiris/actions-gh-pages@v3
-#        with:
-#          github_token: ${{ secrets.GITHUB_TOKEN }}
-#          publish_dir: ./site
-
+        run: mkdocs gh-deploy --strict