fix github workflow

2026-03-11 16:38:14 +01:00
parent 2b12ece4f3
commit 7efe417db6
1 changed files with 3 additions and 1 deletions
--- 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: |