search

runtimeverification / avm-semantics

BSD 3-Clause "New" or "Revised" License
15 stars 4 forks source link

Use Python 3.10.6 in CI #154

Closed geo2a closed 2 years ago

geo2a commented 2 years ago

The current version of PyTeal requires Python 3.10, while so far we've been using Python 3.8.

This PR uses pyenv to install and use Python 3.10.6 in the Docker image.