Remove unnecessary if

As github already is not triggering workflows for commits with skip ci
haskell · Feb 28, 2022 · 477696e · 477696e
1 parent 44c2e1a
commit 477696e
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: