Merge pull request #274 from Crypto-TII/feat/division_property

Feat/division property
Crypto-TII · Sep 24, 2024 · 855a5f3 · 855a5f3
2 parents 622f1a8 + f82fba9
commit 855a5f3
Show file tree

Hide file tree

Showing 5 changed files with 840 additions and 14 deletions.
diff --git a/.github/workflows/run-doctest.yaml b/.github/workflows/run-doctest.yaml
@@ -34,4 +34,6 @@ jobs:
     - name: Run test
       run: |
             cd /home/runner/_work/claasp
-            make test
+            make test
+      env:
+        GUROBI_COMPUTE_SERVER: ${{ secrets.GUROBI_COMPUTE_SERVER }}
diff --git a/.github/workflows/run-pytest-and-sonarcloud-scan.yaml b/.github/workflows/run-pytest-and-sonarcloud-scan.yaml
@@ -39,6 +39,8 @@ jobs:
       run: |
             cd /home/runner/_work/claasp
             make remote-pytest
+      env:
+        GUROBI_COMPUTE_SERVER: ${{ secrets.GUROBI_COMPUTE_SERVER }}
 
     - name: Upload Coverage.xml to artifacts
       uses: actions/upload-artifact@v4
@@ -72,4 +74,4 @@ jobs:
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
-    needs: run-pytest
+    needs: run-pytest