Merge branch 'master' into fix-flaky-test

Author: pepeiborra

.github/workflows/bench.yml

@@ -21,7 +21,7 @@ jobs:
       should_skip: ${{ steps.skip_check.outputs.should_skip }}
     steps:
       - id: skip_check
-        uses: fkirc/skip-duplicate-actions@v3.4.1
+        uses: fkirc/skip-duplicate-actions@v4.0.0
         with:
           cancel_others: false
           paths_ignore: '[ "**/docs/**"

.github/workflows/caching.yml

@@ -57,7 +57,7 @@ jobs:
       should_skip: ${{ steps.skip_check.outputs.should_skip }}
     steps:
       - id: skip_check
-        uses: fkirc/skip-duplicate-actions@v3.4.1
+        uses: fkirc/skip-duplicate-actions@v4.0.0
         with:
           cancel_others: false
           paths_ignore: '["**/docs/**"

.github/workflows/flags.yml

@@ -21,7 +21,7 @@ jobs:
       should_skip: ${{ steps.skip_check.outputs.should_skip }}
     steps:
       - id: skip_check
-        uses: fkirc/skip-duplicate-actions@v3.4.1
+        uses: fkirc/skip-duplicate-actions@v4.0.0
         with:
           cancel_others: false
           paths_ignore: '[ "**/docs/**"

.github/workflows/nix.yml

@@ -21,7 +21,7 @@ jobs:
       should_skip_build: ${{ steps.skip_check_no_nix.outputs.should_skip }}
     steps:
       - id: skip_check
-        uses: fkirc/skip-duplicate-actions@v3.4.1
+        uses: fkirc/skip-duplicate-actions@v4.0.0
         with:
           cancel_others: false
           paths_ignore: '[ "**/docs/**"
@@ -36,7 +36,7 @@ jobs:
                          , ".gitlab/**"
                          ]'
       - id: skip_check_no_nix
-        uses: fkirc/skip-duplicate-actions@v3.4.1
+        uses: fkirc/skip-duplicate-actions@v4.0.0
         with:
           cancel_others: false
           paths: '[ "**.nix" ]'

.github/workflows/test.yml

@@ -22,7 +22,7 @@ jobs:
       should_skip_ghcide: ${{ steps.skip_ghcide_check.outputs.should_skip }}
     steps:
       - id: skip_check
-        uses: fkirc/skip-duplicate-actions@v3.4.1
+        uses: fkirc/skip-duplicate-actions@v4.0.0
         with:
           cancel_others: false
           paths_ignore: '[ "**/docs/**"
@@ -39,7 +39,7 @@ jobs:
                          ]'
       # If we only change ghcide downstream packages we have not test ghcide itself
       - id: skip_ghcide_check
-        uses: fkirc/skip-duplicate-actions@v3.4.1
+        uses: fkirc/skip-duplicate-actions@v4.0.0
         with:
           cancel_others: false
           paths_ignore: '[ "hls-test-utils/**"