Merge pull request flintlib#1562 from albinahlback/temporary_nemo_fix

Make temporary fix for Nemo CI
albinahlback · Nov 1, 2023 · 38a6d9d · 38a6d9d
2 parents 1171d04 + d8abf89
commit 38a6d9d
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -557,7 +557,7 @@ jobs:
   # nemo
   ##############################################################################
   nemo:
-    name: Nemo.jl
+    name: Nemo.jl (temporary branch)
 
     runs-on: ubuntu-latest
 
@@ -618,7 +618,11 @@ jobs:
       - name: "Set up Nemo.jl"
         run: |
           # Override FLINT_jll's libflint with ours
-          git clone https://github.com/Nemocas/Nemo.jl.git
+
+          # NOTE: Reverse me when Nemo uses FLINT v3.
+          # git clone https://github.com/Nemocas/Nemo.jl.git
+          git clone https://github.com/albinahlback/Nemo.jl.git && cd Nemo.jl && git checkout flint3 && cd ..
+
           julia -e "import Pkg; Pkg.develop(path=\"./Nemo.jl\");"
           echo -e "[e134572f-a0d5-539d-bddf-3cad8db41a82]\nFLINT = \"${LOCAL}\"" > ~/.julia/artifacts/Overrides.toml
           touch Nemo.jl/src/Nemo.jl