Replace cancel action with use of concurrency (#368)

* Delete Cancel.yml

* Skip and cancel intermediate builds (CI)

* Skip and cancel intermediate builds (format)

* Skip and cancel intermediate builds (docs)

* Add empty lines

Author: devmotion

.github/workflows/Cancel.yml

@@ -1,9 +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 }}

.github/workflows/ci.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

.github/workflows/docs.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: