Make sure Github action workflows are correctly canceled. (#5232)

Signed-off-by: fruffy <[email protected]>

Author: fruffy

.github/workflows/ci-lint.yaml

@@ -8,6 +8,11 @@ on:
   merge_group:
     branches: [main]
 
+# Cancel any preceding run on the pull request.
+concurrency:
+  group: p4c-lint-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+
 jobs:
   p4c-lint:
     runs-on: ubuntu-22.04

.github/workflows/ci-ubuntu-18-nightly.yml

@@ -9,6 +9,11 @@ on:
   push:
     branches: [main]
 
+# Cancel any preceding run on the pull request.
+concurrency:
+  group: test-ubuntu18-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+
 jobs:
   # Build with GCC and test p4c on Ubuntu 18.04.
   test-ubuntu18:

.github/workflows/ci-ubuntu-22-sanitizer-nightly.yml

@@ -9,6 +9,11 @@ on:
   push:
     branches: [main]
 
+# Cancel any preceding run on the pull request.
+concurrency:
+  group: test-ubuntu22-clang-sanitizers-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+
 jobs:
   # Build with clang and test p4c on Ubuntu 22.04.
   test-ubuntu22-clang-sanitizers:

.github/workflows/ci-ubuntu-p4tc-stf.yml

@@ -9,6 +9,11 @@ on:
   push:
     branches: [main]
 
+# Cancel any preceding run on the pull request.
+concurrency:
+  group: test-ubuntu-p4tc-stf-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+
 jobs:
   # Run p4tc stf tests
   test-ubuntu-p4tc-stf:

.github/workflows/ci-validation-nightly.yml

@@ -9,6 +9,11 @@ on:
   push:
     branches: [main]
 
+# Cancel any preceding run on the pull request.
+concurrency:
+  group: validate-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+
 jobs:
   # We run validation in parallel with the normal tests.
   # Validation ensures that P4C compiles P4-16 programs correctly.

.github/workflows/deploy-docs.yml

@@ -1,17 +1,17 @@
 name: Build Doxygen and deploy to GitHub Pages
 permissions:
-    actions: read
-    contents: write
-    pages: write
-    issues: write
-    pull-requests: write
+  actions: read
+  contents: write
+  pages: write
+  issues: write
+  pull-requests: write
 
 on:
-    push:
-        branches:
-        - main
-    pull_request_target:
-        types: [opened, synchronize, reopened, ready_for_review, labeled]
+  push:
+    branches:
+      - main
+  pull_request_target:
+    types: [opened, synchronize, reopened, ready_for_review, labeled]
 
 jobs:
   build-and-deploy:
@@ -24,7 +24,7 @@ jobs:
       DEPLOYMENT: '<img src="https://github.com/user-attachments/assets/f94fada5-45ca-4271-9106-180728235ad2" alt="Rocket" width="25"/>'
       CELEBRATION: '<img src="https://github.com/user-attachments/assets/86eb8470-c597-4f8b-a77d-a54036075271" alt="githubloading" width="25"/>'
       FAILURE_ICON: '<img src="https://github.com/user-attachments/assets/af921ba9-953d-465e-b597-64ed0a2dc921" alt="failed" width="25"/>'
-      COMMENT_IDENTIFIER: '<!-- preview-comment -->'
+      COMMENT_IDENTIFIER: "<!-- preview-comment -->"
 
     concurrency: ci-${{ github.ref }}
     steps:
@@ -54,7 +54,7 @@ jobs:
         uses: peter-evans/find-comment@v3
         with:
           issue-number: ${{ github.event.pull_request.number }}
-          comment-author: 'github-actions[bot]'
+          comment-author: "github-actions[bot]"
           body-includes: ${{ env.COMMENT_IDENTIFIER }}
 
       - name: Post Initial Comment
@@ -85,7 +85,7 @@ jobs:
         uses: peter-evans/find-comment@v3
         with:
           issue-number: ${{ github.event.pull_request.number }}
-          comment-author: 'github-actions[bot]'
+          comment-author: "github-actions[bot]"
           body-includes: ${{ env.COMMENT_IDENTIFIER }}
 
       - name: Install Clang
@@ -158,10 +158,10 @@ jobs:
             | -- | -- |
             | 📂 **View the source code here:** | [View Source Code](https://github.com/${{ github.repository }}/tree/gh-pages/pr-preview/${{ github.event.pull_request.number }}) |
             | 🔧 **Commit used for deployment:** | [${{ github.event.pull_request.head.sha }}](https://github.com/${{ github.repository }}/commit/${{ github.event.pull_request.head.sha }}) |
-      
+
             **Note:** Changes may take a few seconds to appear on GitHub Pages. Please refresh the page if you do not see the updates immediately.
             ${{ env.COMMENT_IDENTIFIER }}
-          edit-mode: replace     
+          edit-mode: replace
 
       - name: Update Comment with Failure Message
         if: ${{ github.event_name == 'pull_request_target' && steps.check-label.outputs.result == 'true' && failure() }}