Skip to content

Commit 72f907f

Browse files
committed
1 parent 5097824 commit 72f907f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/scripts/main/solvers.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ case "$SOLVER" in
1717
if [[ $RUNNER_OS = 'macOS' ]]; then
1818
# brew may require extra flags to override the system-installed python,
1919
# so we assume the presence of python3 on the macOS runners.
20-
opam option --global 'depext-bypass=["python@3"]'
20+
opam option --global 'depext-bypass=["python@3.9"]'
2121
fi
2222
;;
2323
0install)

0 commit comments

Comments
 (0)