From e9b14f2baa99b18a49e900b524ff9cefd3119cc9 Mon Sep 17 00:00:00 2001
From: David Widmann <devmotion@users.noreply.github.com>
Date: Wed, 22 Sep 2021 23:48:21 +0200
Subject: [PATCH 1/5] Delete Cancel.yml

---
 .github/workflows/Cancel.yml | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 .github/workflows/Cancel.yml

diff --git a/.github/workflows/Cancel.yml b/.github/workflows/Cancel.yml
deleted file mode 100644
index 048d1e560..000000000
--- a/.github/workflows/Cancel.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-name: Cancel
-
-on:
-  workflow_run:
-    workflows:
-      - "CI"
-      - "Documentation"
-      - "Format suggestions"
-    types:
-      - requested
-
-jobs:
-  cancel:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: styfle/cancel-workflow-action@0.9.0
-      with:
-        # cancel itself and all later-scheduled workflows, leaving only the latest
-        # helps if the pipeline is saturated
-        all_but_latest: true
-        workflow_id: ${{ github.event.workflow.id }}

From a19189850af5a926ed9d3bb656ec50d67b7955e6 Mon Sep 17 00:00:00 2001
From: David Widmann <devmotion@users.noreply.github.com>
Date: Wed, 22 Sep 2021 23:50:00 +0200
Subject: [PATCH 2/5] Skip and cancel intermediate builds (CI)

---
 .github/workflows/ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8eeb12b4b..e848bc27f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,11 @@ on:
     branches:
       - master
   pull_request:
+concurrency:
+  # Skip intermediate builds: always.
+  # Cancel intermediate builds: only if it is a pull request build.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 jobs:
   test:
     name: Julia ${{ matrix.version }} - ${{ matrix.group }}

From cb70a1aabdba7e0f21521b7fda6bbe8ea939b111 Mon Sep 17 00:00:00 2001
From: David Widmann <devmotion@users.noreply.github.com>
Date: Wed, 22 Sep 2021 23:50:53 +0200
Subject: [PATCH 3/5] Skip and cancel intermediate builds (format)

---
 .github/workflows/format.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
index 3c9ec4f8d..f83b38f55 100644
--- a/.github/workflows/format.yml
+++ b/.github/workflows/format.yml
@@ -2,6 +2,12 @@ name: Format suggestions
 
 on:
   pull_request:
+  
+concurrency:
+  # Skip intermediate builds: always.
+  # Cancel intermediate builds: only if it is a pull request build.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 
 jobs:
   format:

From 41b7c1eb02fab154f20b383b272399450bcc1862 Mon Sep 17 00:00:00 2001
From: David Widmann <devmotion@users.noreply.github.com>
Date: Wed, 22 Sep 2021 23:51:30 +0200
Subject: [PATCH 4/5] Skip and cancel intermediate builds (docs)

---
 .github/workflows/docs.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 2b57c0c99..a339654a2 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -7,6 +7,12 @@ on:
     tags: '*'
   pull_request:
 
+concurrency:
+  # Skip intermediate builds: always.
+  # Cancel intermediate builds: only if it is a pull request build.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
+
 jobs:
   build:
     runs-on: ubuntu-latest

From f79448515d272e57d64d26444db84985b6e55fec Mon Sep 17 00:00:00 2001
From: David Widmann <devmotion@users.noreply.github.com>
Date: Wed, 22 Sep 2021 23:54:51 +0200
Subject: [PATCH 5/5] Add empty lines

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e848bc27f..de70c88f4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,14 +1,17 @@
 name: CI
+
 on:
   push:
     branches:
       - master
   pull_request:
+
 concurrency:
   # Skip intermediate builds: always.
   # Cancel intermediate builds: only if it is a pull request build.
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
+
 jobs:
   test:
     name: Julia ${{ matrix.version }} - ${{ matrix.group }}