We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 63c4207 commit fcaad01Copy full SHA for fcaad01
.github/workflows/ci.yml
@@ -7,16 +7,15 @@ jobs:
7
runs-on: ubuntu-latest
8
env:
9
PYTEST_DISABLE_PLUGIN_AUTOLOAD: "1"
10
+ PYTHONPATH: ${{ github.workspace }}:${{ github.workspace }}/src:${{ github.workspace }}/challenges:${{ github.workspace }}/tools
11
steps:
12
- uses: actions/checkout@v4
13
- uses: actions/setup-python@v5
14
with:
15
python-version: "3.11"
-
16
- name: Install deps
17
run: |
18
python -m pip install --upgrade pip
19
pip install pytest==8.3.3 z3-solver==4.13.0.0 gradio==4.44.0
20
21
- name: Run tests
22
run: pytest -ra
0 commit comments