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

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

diff --git a/.github/workflows/docker-build-and-push.yaml b/.github/workflows/docker-build-and-push.yaml
index fbd9db1..f92bfc9 100644
--- a/.github/workflows/docker-build-and-push.yaml
+++ b/.github/workflows/docker-build-and-push.yaml
@@ -24,7 +24,9 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
+        uses: actions/checkout@v4
+        with:
+          github-server-url: https://chef.heaplab.deib.polimi.it/git
 
       - name: Build Docker image
         run: |