projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f2ef412
)
Fix CI build for macOS (#7970)
author
Andres Noetzli
<andres.noetzli@gmail.com>
Thu, 20 Jan 2022 18:10:40 +0000
(10:10 -0800)
committer
GitHub
<noreply@github.com>
Thu, 20 Jan 2022 18:10:40 +0000
(10:10 -0800)
The macOS CI could not find the Cython executable anymore for some reason. This commit fixes the issue.
.github/actions/install-dependencies/action.yml
patch
|
blob
|
history
diff --git
a/.github/actions/install-dependencies/action.yml
b/.github/actions/install-dependencies/action.yml
index d1fb975a9d2135f25ae71b58b8981fabacc59c88..a204bfa2143414858d2049a3acee3616bedb4a71 100644
(file)
--- a/
.github/actions/install-dependencies/action.yml
+++ b/
.github/actions/install-dependencies/action.yml
@@
-75,8
+75,7
@@
runs:
if [[ "${{ inputs.with-python-bindings }}" != "true" ]]; then exit 0; fi
python3 -m pip install pytest scikit-build
python3 -m pytest --version
- python3 -m pip install \
- Cython==0.29.* --install-option="--no-cython-compile"
+ python3 -m pip install Cython==0.29.*
echo "$(python3 -m site --user-base)/bin" >> $GITHUB_PATH
echo "::endgroup::"