Use temporary Nemo CI branch

albinahlback · Jan 27, 2025 · 5edee3c · 5edee3c
1 parent 1e8a050
commit 5edee3c
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -579,8 +579,11 @@ jobs:
 
       - name: "Set up Nemo.jl"
         run: |
-          # Use Nemo's master branch
-          git clone https://github.com/Nemocas/Nemo.jl.git
+          # # Use Nemo's master branch
+          # git clone https://github.com/Nemocas/Nemo.jl.git
+
+          # Use temporary branch
+          git clone -b flint_matrix_stride --depth 1 https://github.com/albinahlback/Nemo.jl.git
 
           # Override FLINT_jll's libflint with ours
           julia -e "import Pkg; Pkg.develop(path=\"./Nemo.jl\");"