From 3ab96467bf8b319f73c550f82c94996ba6cbb753 Mon Sep 17 00:00:00 2001
From: Javier Arroyo <javier.arroyo@kuleuven.be>
Date: Thu, 31 Aug 2023 16:07:16 +0200
Subject: [PATCH] Implement sparse checkout to gain some time.

---
 .github/workflows/custom-web-build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/custom-web-build.yml b/.github/workflows/custom-web-build.yml
index 6784ef187..5f8483c31 100644
--- a/.github/workflows/custom-web-build.yml
+++ b/.github/workflows/custom-web-build.yml
@@ -28,7 +28,9 @@ jobs:
       url: ${{ steps.deployment.outputs.page_url }}
     steps:
     - name: Checkout repository
-      uses: actions/checkout@v2
+      uses: actions/checkout@v3
+      with:
+        sparse-checkout: .
     - name: Build Docker environment image
       run: cd web && make build-env
     - name: Build website in container