From 608912048324287d990f33f46753e1c677e83f07 Mon Sep 17 00:00:00 2001 From: NiccoloN Date: Wed, 11 Mar 2026 17:05:13 +0100 Subject: [PATCH] fix github workflow --- .github/workflows/docker-build-and-push.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docker-build-and-push.yaml b/.github/workflows/docker-build-and-push.yaml index 4c8a65c..279ac1f 100644 --- a/.github/workflows/docker-build-and-push.yaml +++ b/.github/workflows/docker-build-and-push.yaml @@ -24,9 +24,9 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: - github-server-url: https://chef.heaplab.deib.polimi.it/git/ + github-server-url: https://chef.heaplab.deib.polimi.it/git - name: Build Docker image run: |