Remove unnecessary if

As github already is not triggering workflows for commits with skip ci
haskell · Feb 28, 2022 · a7a1f3d · a7a1f3d
1 parent c46eb51
commit a7a1f3d
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/users-guide.yml b/.github/workflows/users-guide.yml
@@ -42,10 +42,6 @@ defaults:
 
 jobs:
   build:
-    if: |
-      !contains(github.event.head_commit.message, '[skip ci]')
-      && !contains(github.event.head_commit.message, '[ci skip]')
-
     runs-on: ubuntu-latest
     strategy:
       matrix: