Skip to content

REL: bump version to 0.4.1 #28

REL: bump version to 0.4.1

REL: bump version to 0.4.1 #28

Workflow file for this run

---
# configuration for GitHub Actions
name: omega tests
on:
push:
pull_request:
schedule:
- cron: '43 5 5 * *'
jobs:
build:
name: Build
runs-on: ubuntu-20.04
strategy:
matrix:
python-version: [
'3.11',
]
steps:
- uses: actions/checkout@v2
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v2
with:
python-version: ${{ matrix.python-version }}
- name: Update Python environment
run: |
pip install --upgrade pip setuptools
- name: Install `omega`
run: |
set -o posix
echo "Exported environment variables:"
export -p
python setup.py sdist
pip install dist/omega-*.tar.gz
- name: Install test dependencies
run: |
pip install pytest
- name: Run `omega` tests, with packages as installed by `pip`
run: |
set -o posix
echo "Exported environment variables:"
export -p
# run tests
cd tests/
# test as installed by `pip` (may be source or wheel)
pytest -v --continue-on-collection-errors \
--ignore-glob="cover*" .
- name: Test without `dd.cudd` (pure Python)
run: |
export DD_VERSION=$(pip show dd | head \
| grep -m 1 -o -E '[0-9]+\.[0-9]+\.[0-9]+')
echo "DD_VERSION=$DD_VERSION" >> $GITHUB_ENV
pip uninstall --yes dd
pip install dd==${DD_VERSION} --no-binary dd
cd tests/
pytest -v --continue-on-collection-errors \
--ignore-glob="cover*" .
- name: Install `dd.cudd`
run: |
pip install cython wheel
pip uninstall --yes dd
# obtain `dd` source, even if a suitable
# wheel file is available from PyPI
export DD_FETCH=1 DD_CUDD=1
pip install --verbose dd \
--no-binary dd --no-cache-dir \
--use-pep517 --no-build-isolation
# ensure that `dd.cudd` is importable,
# so that `omega` tests below that
# require `dd.cudd` will work
cd tests/
python -c "import dd.cudd"
- name: Run `dd` tests with `dd.cudd` installed
run: |
set -o posix
echo "Exported environment variables:"
export -p
# run tests
cd tests/
pytest -v --continue-on-collection-errors .