Skip to content

Incremental and unsatcore results #426

Incremental and unsatcore results

Incremental and unsatcore results #426

Workflow file for this run

name: Main
on:
push:
branches:
- main
pull_request:
jobs:
quality:
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@v3
- uses: actions/cache@v3
with:
path: ~/.cache/pre-commit
key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
- name: Set up the environment
uses: ./.github/actions/setup-poetry-env
- name: Run checks
run: make check
#For smtcomp data cache (TODO unduplicate from deploy-website)
- uses: actions/cache@v3
id: data-cache
with:
path: data/*.feather
key: data-cache-${{ hashFiles('data/*.json.gz') }}
- name: Cache generation if needed
if: steps.data-cache.outputs.cache-hit != 'true'
run: |
poetry run make cache
- name: Run test
run: make test
tox:
runs-on: ubuntu-latest
strategy:
matrix:
python-version: ["3.11"]
fail-fast: false
steps:
- name: Check out
uses: actions/checkout@v3
- name: Set up python
uses: actions/setup-python@v4
with:
python-version: ${{ matrix.python-version }}
- name: Install Poetry
uses: snok/install-poetry@v1
- name: Load cached venv
uses: actions/cache@v3
with:
path: .tox
key: venv-${{ runner.os }}-${{ matrix.python-version }}-${{ hashFiles('poetry.lock') }}
- name: Install tox
run: |
python -m pip install --upgrade pip
python -m pip install tox tox-gh-actions
- name: Test with tox
run: tox
- name: Upload coverage reports to Codecov with GitHub Action on Python 3.11
uses: codecov/codecov-action@v3
if: ${{ matrix.python-version == '3.11' }}