From 4b0f9908eff7eda1a20fb11ee2d133e6674de133 Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Tue, 18 Nov 2025 11:56:14 +0100
Subject: [PATCH] ci: optimize disk use using git submodules with depth of one

---
 .github/workflows/rust.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 4a1655a97..d891c5c8c 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -16,8 +16,12 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
+    - name: Get disk space
+      run: df -h
     - name: Download Git submodules
-      run: git submodule update --init --recursive
+      run: git submodule update --init --recursive --depth 1
+    - name: Get disk space
+      run: df -h
     - uses: coq-community/docker-coq-action@v1
       with:
         custom_image: coqorg/coq:8.20-ocaml-4.14-flambda