Skip to content

MRG: core: add scaled selection to manifest; add helper functions for collection and sig/sketch usage #6919

MRG: core: add scaled selection to manifest; add helper functions for collection and sig/sketch usage

MRG: core: add scaled selection to manifest; add helper functions for collection and sig/sketch usage #6919

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