build(deps-dev): bump hypothesis from 6.76.0 to 6.82.6 #451
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: test | |
on: | |
push: | |
branches: | |
- main | |
pull_request: | |
jobs: | |
run: | |
continue-on-error: True | |
runs-on: ${{ matrix.os }} | |
strategy: | |
matrix: | |
os: [ubuntu-latest] #, macos-latest, windows-latest] | |
python-version: ["3.8", "3.9", "3.10", "3.11"] | |
timeout-minutes: 30 | |
steps: | |
- uses: actions/checkout@master | |
- uses: actions/setup-python@master | |
with: | |
python-version: ${{ matrix.python-version }} | |
- name: Install dependencies | |
run: pip install tox poetry | |
# set up environment depending on the platform in use | |
- if: matrix.os == 'ubuntu-latest' | |
name: Install Lydia (ubuntu-latest) | |
run: | | |
sudo apt-get update | |
sudo apt-get install -y wget | |
# install flex/bison | |
sudo apt-get purge -y flex | |
sudo apt-get purge -y bison | |
sudo apt-get install -y flex bison | |
sudo apt-get autoremove | |
# install boost | |
sudo apt-get install -y libboost-dev | |
sudo apt-get install -y graphviz libgraphviz-dev | |
# install MONA, CUDD, Syft, Lydia | |
sudo ./scripts/_ci-install-lydia-dependencies-ubuntu.sh | |
# - if: matrix.os == 'macos-latest' | |
# name: Install dependencies (macos-latest) | |
# run: ... | |
# - if: matrix.os == 'windows-latest' | |
# name: Install dependencies (windows-latest) | |
# env: | |
# ACTIONS_ALLOW_UNSECURE_COMMANDS: true | |
# run: ... | |
- name: Unit tests and coverage | |
run: | | |
tox -e py${{ matrix.python-version }} | |
- name: Upload coverage to Codecov | |
uses: codecov/codecov-action@v1 | |
with: | |
token: ${{ secrets.CODECOV_TOKEN }} | |
file: ./coverage.xml | |
flags: unittests | |
name: codecov-umbrella | |
fail_ci_if_error: true |