Remove ci skip functionality, which has not been used for a long time

RBniCS · Dec 27, 2023 · 215b3d7 · 215b3d7
1 parent eaf5d85
commit 215b3d7
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -14,19 +14,6 @@ on:
 
 jobs:
   test:
-    if: >-
-      (
-        (
-          github.event_name == 'schedule'
-          && github.repository == 'RBniCS/RBniCSx'
-        ) || (
-            github.event_name != 'schedule'
-            && !(
-              contains(github.event.head_commit.message, '[ci skip]')
-              || contains(github.event.head_commit.message, '[skip ci]')
-            )
-        )
-      )
     runs-on: ubuntu-latest
     strategy:
       matrix: