From 159ee2590ffdaf7e75ffc21f542c3f810e9ca848 Mon Sep 17 00:00:00 2001 From: gmagnani Date: Wed, 11 Mar 2026 15:57:04 +0000 Subject: [PATCH] Update .github/workflows/docker-build-and-push.yaml Try fix CI --- .github/workflows/docker-build-and-push.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docker-build-and-push.yaml b/.github/workflows/docker-build-and-push.yaml index 4c8a65c..187a279 100644 --- a/.github/workflows/docker-build-and-push.yaml +++ b/.github/workflows/docker-build-and-push.yaml @@ -26,7 +26,8 @@ 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/ + repository: 'git/nnicolosi/Raptor-Containers/' - name: Build Docker image run: |