From 8f3a72286ea6682f851a5ace4177ded884d5d399 Mon Sep 17 00:00:00 2001 From: NiccoloN Date: Wed, 11 Mar 2026 16:54:56 +0100 Subject: [PATCH] fix github workflow --- .github/workflows/docker-build-and-push.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docker-build-and-push.yaml b/.github/workflows/docker-build-and-push.yaml index f92bfc9..4c8a65c 100644 --- a/.github/workflows/docker-build-and-push.yaml +++ b/.github/workflows/docker-build-and-push.yaml @@ -26,7 +26,7 @@ jobs: - name: Checkout repository uses: actions/checkout@v4 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: |