Ignore gitlab ci in github

.github/workflows/bench.yml

@@ -35,6 +35,8 @@ jobs:
                          , "**/README.md"
                          , "FUNDING.yml"
                          , "**/stack*.yaml"
+                         , ".gitlab-ci.yaml"
+                         , ".gitlab/**"
                          ]'
 
   bench_init:

.github/workflows/caching.yml

@@ -69,6 +69,9 @@ jobs:
                          , "**/README.md"
                          , "FUNDING.yml"
                          , ".circleci/**"
+                         , "**/stack*.yaml"
+                         , ".gitlab-ci.yaml"
+                         , ".gitlab/**"
                          ]'
 
   caching:

.github/workflows/flags.yml

@@ -34,6 +34,8 @@ jobs:
                          , "FUNDING.yml"
                          , ".circleci/**"
                          , "**/stack*.yaml"
+                         , ".gitlab-ci.yaml"
+                         , ".gitlab/**"
                          ]'
 
   flags:

.github/workflows/nix.yml

@@ -32,6 +32,9 @@ jobs:
                          , "**/README.md"
                          , "FUNDING.yml"
                          , "**/stack*.yaml"
+                         , "**/stack*.yaml"
+                         , ".gitlab-ci.yaml"
+                         , ".gitlab/**"
                          ]'
       - id: skip_check_no_nix
         uses: fkirc/skip-duplicate-actions@v3.4.1

.github/workflows/test.yml

@@ -35,6 +35,8 @@ jobs:
                          , "FUNDING.yml"
                          , ".circleci/**"
                          , "**/stack*.yaml"
+                         , ".gitlab-ci.yaml"
+                         , ".gitlab/**"
                          ]'
       # If we only change ghcide downstream packages we have not test ghcide itself
       - id: skip_ghcide_check