fix workflow

ls1intum · Feb 25, 2024 · 56babbc · 56babbc
1 parent a752142
commit 56babbc
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -4,13 +4,13 @@ on:
   pull_request:
     paths:
       - 'docs/**'
-      - '.github/workflows/docs.yml'
+      - '.github/workflows/docs.yaml'
   push:
     branches:
       - develop
     paths:
       - 'docs/**'
-      - '.github/workflows/docs.yml'
+      - '.github/workflows/docs.yaml'
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
@@ -34,7 +34,6 @@ jobs:
       - uses: actions/upload-pages-artifact@v3
         with:
           path: docs/_build/dirhtml/
-
   # Deployment job
   deploy:
     if: github.ref == 'refs/heads/develop'