projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2ef412) | patch
Fix CI build for macOS (#7970)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 20 Jan 2022 18:10:40 +0000 (10:10 -0800)
committerGitHub <noreply@github.com>
Thu, 20 Jan 2022 18:10:40 +0000 (10:10 -0800)
commite2b1154c3e9a82e2a69e98a7ff7aadf73f9009df
tree114cfb032d9018d9075821eecb1f2fb34d89438dtree
parentf2ef41253381cc4a5cd7ba1d62a9443535f8a3ddcommit | diff
Fix CI build for macOS (#7970)

The macOS CI could not find the Cython executable anymore for some reason. This commit fixes the issue.
.github/actions/install-dependencies/action.yml diff | blob | history