Skip to content

MRG: add --set-name to sig intersect and sig subtract #7611

MRG: add --set-name to sig intersect and sig subtract

MRG: add --set-name to sig intersect and sig subtract #7611

Workflow file for this run

name: Hypothesis tests
on:
push:
branches: [latest]
pull_request:
schedule:
- cron: "0 0 * * *" # daily
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Set up Python 3.10
uses: actions/setup-python@v5
with:
python-version: "3.10"
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install tox
- name: Run Hypothesis tests
run: tox -e hypothesis,coverage
- name: Upload Python coverage to codecov
uses: codecov/codecov-action@v3
with:
flags: hypothesis-py
fail_ci_if_error: true
files: .tox/coverage.xml