From cb9980133cbb670387a597c349397cd38f52edee Mon Sep 17 00:00:00 2001
From: Jakub Beránek <berykubik@gmail.com>
Date: Sun, 8 Jun 2025 21:19:24 +0200
Subject: Do not checkout GCC submodule for the tidy job

---
 src/ci/github-actions/jobs.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/ci/github-actions')

diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml
index 3f8ea696ee2..43c77d1ddf7 100644
--- a/src/ci/github-actions/jobs.yml
+++ b/src/ci/github-actions/jobs.yml
@@ -129,6 +129,10 @@ pr:
   - name: mingw-check-tidy
     continue_on_error: true
     free_disk: false
+    env:
+      # This submodule is expensive to checkout, and it should not be needed for
+      # tidy. This speeds up the PR CI job by ~1 minute.
+      SKIP_SUBMODULES: src/gcc
     <<: *job-linux-4c
   - name: x86_64-gnu-llvm-19
     env:
-- 
cgit 1.4.1-3-g733a5