Skip to content

Commit

Permalink
fix ci
Browse files Browse the repository at this point in the history
  • Loading branch information
daejunpark committed Jul 17, 2023
1 parent 0e3f7bf commit ab799d2
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,9 @@ jobs:
run: |
python -m pip install --upgrade pip
pip install pytest
pip install -r requirements.txt
- name: Install Halmos
run: pip install -e .

- name: Run pytest
run: pytest

0 comments on commit ab799d2

Please sign in to comment.