Reduce CI runs, skip docs formatting, improve CI names

.clang-format-ignore

@@ -0,0 +1,2 @@
+# dont format any code in docs
+./docs/*

.github/workflows/docs-build.yml

@@ -1,5 +1,10 @@
 name: Docs build
-run-name: Docs build
+
+# only run most recent workflow in branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   pull_request:
     paths-ignore:

.github/workflows/formatting.yaml

@@ -1,11 +1,14 @@
 name: clang-format check
-run-name: clang-format check
+
+# only run most recent workflow in branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 
 on:
   pull_request:
     paths-ignore:
     - README.md
-    - 'docs/**'
     types: [ opened, reopened, synchronize ]
 
 permissions: read-all

.github/workflows/linux-compileonly.yaml

@@ -1,4 +1,10 @@
 name: Linux-CompileOnly
+
+# only run most recent workflow in branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   pull_request:
     paths-ignore:

.github/workflows/linux-install.yaml

@@ -1,5 +1,10 @@
 name: Linux-Install
-run-name: Linux-Install
+
+# only run most recent workflow in branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   pull_request:
     paths-ignore:

.github/workflows/linux.yaml

@@ -1,5 +1,10 @@
 name: Linux
-run-name: Linux
+
+# only run most recent workflow in branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   pull_request:
     paths-ignore:

.github/workflows/osx.yaml

@@ -1,5 +1,10 @@
 name: macOS
-run-name: macOS
+
+# only run most recent workflow in branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   pull_request:
     paths-ignore: