fix github workflow

2026-03-11 17:05:13 +01:00
parent 8f3a72286e
commit 6089120483
1 changed files with 2 additions and 2 deletions
--- 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: |