fix github workflow

2026-03-11 17:14:59 +01:00
parent 1aac62cfc8
commit 9b368cbf4b
1 changed files with 4 additions and 3 deletions
--- a/.github/workflows/docker-build-and-push.yaml
+++ b/.github/workflows/docker-build-and-push.yaml
@@ -24,9 +24,10 @@ jobs:

    steps:
      - name: Checkout repository
-        uses: actions/checkout@v5
-        with:
-          github-server-url: https://chef.heaplab.deib.polimi.it/git
+        run: |
+          git clone --depth 1 --branch ${GITHUB_REF_NAME} \
+            https://chef.heaplab.deib.polimi.it/git/${GITHUB_REPOSITORY}.git \
+            ${GITHUB_WORKSPACE}

      - name: Build Docker image
        run: |