Fix tests and examples CI

Issue was with simplesat 0.9.0 wheel being broken and with new version of pyenv having old version checksum for python 3.9.20 Signed-off-by: bbrzyski <[email protected]>
antmicro · Sep 9, 2024 · 7f0b48d · 7f0b48d
1 parent 1cc95eb
commit 7f0b48d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.github/scripts/ci.sh b/.github/scripts/ci.sh
@@ -104,6 +104,7 @@ install_pyenv() {
 
     log_cmd export PYENV_ROOT="$HOME/.pyenv"
     log_cmd export PATH="$PYENV_ROOT/bin:$PATH"
+    log_cmd export PYENV_GIT_TAG=v2.4.10
     log_cmd "curl https://pyenv.run | bash"
     end_command_group
 }

diff --git a/examples/inout/requirements.txt b/examples/inout/requirements.txt
@@ -1,2 +1,4 @@
 ../../.[topwrap-parse]
 fusesoc
+# TODO: Remove when simplesat fixes the issue: https://github.com/enthought/sat-solver/issues/286
+simplesat==0.8.2