Skip to content

Merge branch 'main' into dev #80

Merge branch 'main' into dev

Merge branch 'main' into dev #80

Workflow file for this run

name: Tests and code coverage
on: [push, pull_request]
jobs:
run:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Install LAPACK
run: |
sudo apt-get update && sudo apt-get install -y liblapack-dev
- name: Set up Python 3.10
uses: actions/setup-python@v4
with:
python-version: '3.10'
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install flake8 pytest pre-commit
pip install circe-py
pip install .[full]
- name: Run tests and collect coverage
run: |
pip install -e . --config-settings editable_mode=compat
pip install pytest-cov
python -c 'import os; os.chdir("tests/"); import circe.pyquic; print(circe.pyquic)'
pytest -s --cov "circe"
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v4
with:
flags: smart-tests
verbose: true
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}