From 9b368cbf4bf160c627de6cbcfa67188a20e9a7e0 Mon Sep 17 00:00:00 2001
From: NiccoloN <niccolo.nicolosi@gmail.com>
Date: Wed, 11 Mar 2026 17:14:59 +0100
Subject: [PATCH] fix github workflow

---
 .github/workflows/docker-build-and-push.yaml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/docker-build-and-push.yaml b/.github/workflows/docker-build-and-push.yaml
index 279ac1f..b66167f 100644
--- a/.github/workflows/docker-build-and-push.yaml
+++ b/.github/workflows/docker-build-and-push.yaml
@@ -24,9 +24,10 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v5
-        with:
-          github-server-url: https://chef.heaplab.deib.polimi.it/git
+        run: |
+          git clone --depth 1 --branch ${GITHUB_REF_NAME} \
+            https://chef.heaplab.deib.polimi.it/git/${GITHUB_REPOSITORY}.git \
+            ${GITHUB_WORKSPACE}
 
       - name: Build Docker image
         run: |