From 7446bd2d17907260f9a093eeb31aeeaa2b267661 Mon Sep 17 00:00:00 2001
From: Patrik Ragnarsson <patrik@starkast.net>
Date: Thu, 8 Apr 2021 10:59:36 +0200
Subject: [PATCH] Be able to skip CI from pull request title (#2593)

GitHub Actions has skipping CI built in, but only checks the commit
message. I removed too much in 26776c86.
---
 .github/workflows/mri.yml     | 3 +++
 .github/workflows/non_mri.yml | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.github/workflows/mri.yml b/.github/workflows/mri.yml
index 68505b98..84985261 100644
--- a/.github/workflows/mri.yml
+++ b/.github/workflows/mri.yml
@@ -11,6 +11,9 @@ jobs:
       TESTOPTS: -v
 
     runs-on: ${{ matrix.os }}
+    if: |
+      !(   contains(github.event.pull_request.title,  '[ci skip]')
+        || contains(github.event.pull_request.title,  '[skip ci]'))
     strategy:
       fail-fast: false
       matrix:
diff --git a/.github/workflows/non_mri.yml b/.github/workflows/non_mri.yml
index 8c03ae8e..4673d355 100644
--- a/.github/workflows/non_mri.yml
+++ b/.github/workflows/non_mri.yml
@@ -11,6 +11,9 @@ jobs:
       TESTOPTS: -v
 
     runs-on: ${{ matrix.os }}
+    if: |
+      !(   contains(github.event.pull_request.title,  '[ci skip]')
+        || contains(github.event.pull_request.title,  '[skip ci]'))
     strategy:
       fail-fast: false
       matrix: