ci: Update main.yml

2026-05-18 07:16:02 +02:00 · 2020-10-15 11:05:59 +02:00
parent 8feabd1a43
commit 4a9f27222a
1 changed files with 3 additions and 3 deletions
@@ -4,17 +4,17 @@ on:
  push:
    branches:
      - master
-        
+
 jobs:
  build:
    name: Build
    runs-on: ubuntu-latest
-    
+
    steps:
      - name: Checkout master
        uses: actions/checkout@v1

      - name: Deploy to GH Pages
-        uses: mhausenblas/mkdocs-deploy-gh-pages@master
+        uses: mhausenblas/mkdocs-deploy-gh-pages@1.13
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}