File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -17,17 +17,13 @@ jobs:
1717 steps :
1818 - uses : actions/checkout@v2
1919
20- - name : Set up Python 3.10
21- uses : actions/setup-python@v2
22- with :
23- python-version : ' 3.10'
24-
2520 - name : Install missing software on ubuntu
2621 if : contains(matrix.os, 'ubuntu')
2722 run : |
2823 sudo apt-get update
2924 sudo apt-get install libxml2-utils
3025 sudo apt-get install libz3-dev libtinyxml2-dev
26+ sudo apt-get install python3 python3-pip
3127 sudo apt-get install qtbase5-dev qttools5-dev libqt5charts5-dev qt5-default
3228
3329 - name : Fix missing z3_version.h
@@ -38,10 +34,12 @@ jobs:
3834 - name : Install missing software on macos
3935 if : contains(matrix.os, 'macos')
4036 run : |
41- brew install coreutils z3 qt@5
37+ brew install coreutils python3 z3 qt@5
4238
39+ # TODO: we might not default to python3
4340 - name : Install missing Python packages
4441 run : |
42+ python --version
4543 python -m pip install pip --upgrade
4644 python -m pip install pytest
4745
You can’t perform that action at this time.
0 commit comments