fix github workflow
Some checks failed
Build and push Docker images / build-and-push (push) Failing after 1m42s

This commit is contained in:
NiccoloN
2026-03-11 16:54:56 +01:00
parent fd231dd353
commit 8f3a72286e

View File

@@ -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: |