fix CI (hopefully)

2026-03-11 15:41:26 +01:00
parent 7ce1d2b34d
commit 771b44a2ed
1 changed files with 1 additions and 0 deletions
--- 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: |