From 771b44a2ed7fab3ba2d2d570233970720de26734 Mon Sep 17 00:00:00 2001 From: NiccoloN Date: Wed, 11 Mar 2026 15:41:26 +0100 Subject: [PATCH] fix CI (hopefully) --- .github/workflows/validate_operations.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/validate_operations.yml b/.github/workflows/validate_operations.yml index 18d93ad..4d6d72d 100644 --- a/.github/workflows/validate_operations.yml +++ b/.github/workflows/validate_operations.yml @@ -33,6 +33,7 @@ jobs: uses: actions/checkout@v4 with: submodules: recursive + github-server-url: https://chef.heaplab.deib.polimi.it/git - name: Install system dependencies run: |