Fix pipeline

KovalevDima · Dec 31, 2024 · b975899 · b975899
1 parent 68b1386
commit b975899
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/push-to-master.yml b/.github/workflows/push-to-master.yml
@@ -36,10 +36,6 @@ jobs:
           name: github-pages
           path: result/_site/
 
-      - name: Check if docs sources changed
-        uses: dorny/paths-filter@v3
-        id: srcChanges
-
       - name: Build ClickHaskell-dist
         run: nix build .#ClickHaskell-dist