Fix CI after ocaml/opam-repository#24742

kit-ty-kate · Jan 20, 2024 · 72f907f · 72f907f
1 parent 5097824
commit 72f907f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/main/solvers.sh b/.github/scripts/main/solvers.sh
@@ -17,7 +17,7 @@ case "$SOLVER" in
     if [[ $RUNNER_OS = 'macOS' ]]; then
       # brew may require extra flags to override the system-installed python,
       # so we assume the presence of python3 on the macOS runners.
-      opam option --global 'depext-bypass=["python@3"]'
+      opam option --global 'depext-bypass=["python@3.9"]'
     fi
     ;;
   0install)