From 215b3d72c8612ed41f707b1787803e722ae32d6b Mon Sep 17 00:00:00 2001
From: Francesco Ballarin <francesco.ballarin@unicatt.it>
Date: Wed, 27 Dec 2023 09:35:03 +0100
Subject: [PATCH] Remove ci skip functionality, which has not been used for a
 long time

---
 .github/workflows/ci.yml | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9ef4c74..4f413fe 100644
--- 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: