Implement AIGER parser #48
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Python | |
| # spell-checker:ignore awalsh,CIBW,jakebailey,pkgs,pydata,pyproject | |
| on: | |
| push: | |
| paths: | |
| - .github/workflows/python.yml | |
| - bindings/python/** | |
| - pyproject.toml | |
| - crates/** | |
| - "!crates/oxidd-cli/**" | |
| - Cargo.* | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| env: | |
| CARGO_TERM_COLOR: always | |
| jobs: | |
| lint-test-doc: | |
| name: Lint, Test & Doc | |
| runs-on: ubuntu-24.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: awalsh128/cache-apt-pkgs-action@latest | |
| with: | |
| packages: cbindgen | |
| version: 1.0 | |
| - uses: actions/setup-python@v5 | |
| with: | |
| python-version: 3.x | |
| - name: Install tools & dependencies | |
| run: python -m pip install --upgrade pip ruff sphinx pydata-sphinx-theme cibuildwheel pytest | |
| - name: Build | |
| run: python -m pip install . | |
| - name: Ruff check | |
| run: ruff check --output-format=github | |
| - name: Ruff format check | |
| run: ruff format --check | |
| - uses: jakebailey/pyright-action@v2 | |
| - name: Test | |
| run: pytest | |
| - name: Sphinx | |
| run: sphinx-build -W bindings/python/doc target/python/doc | |
| - name: Deploy Docs | |
| if: ${{ github.repository == 'OxiDD/oxidd' && github.ref == 'refs/heads/main' }} | |
| working-directory: target/python/doc | |
| run: | | |
| mkdir -p ~/.ssh | |
| echo "$KNOWN_HOSTS" >> ~/.ssh/known_hosts | |
| ssh-agent sh -c "echo '$KEY' | ssh-add - && tar -cvz . | ssh -l '$USER' -p '$PORT' '$HOST' /extract-api.sh python dev" | |
| env: | |
| HOST: ${{ secrets.WEBSITE_SSH_HOST }} | |
| USER: ${{ secrets.WEBSITE_SSH_USER }} | |
| PORT: ${{ secrets.WEBSITE_SSH_PORT }} | |
| KEY: ${{ secrets.WEBSITE_SSH_KEY }} | |
| KNOWN_HOSTS: ${{ secrets.WEBSITE_SSH_KNOWN_HOSTS }} | |
| buildwheel-linux: | |
| name: Build wheels for Linux | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: docker/setup-qemu-action@v3 | |
| with: | |
| platforms: arm64,s390x,ppc64le | |
| - name: Install cibuildwheel | |
| run: python3 -m pip install cibuildwheel | |
| - name: Build (linux-buildwheel.py) | |
| run: python3 bindings/python/build/linux-buildwheel.py --install-targets --archs all | |
| - uses: actions/upload-artifact@v4 | |
| with: | |
| name: python-wheels-linux | |
| path: wheelhouse/*.whl | |
| buildwheel-mac: | |
| name: Build wheels for macOS | |
| runs-on: ${{ matrix.os.image }} | |
| strategy: | |
| matrix: | |
| os: | |
| - { arch: x86_64, image: macos-13 } | |
| - { arch: arm64, image: macos-14 } | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install cbindgen | |
| run: brew install cbindgen | |
| - name: Build wheels | |
| uses: pypa/cibuildwheel@v2.18.1 | |
| env: | |
| CIBW_ARCHS_MACOS: native | |
| - uses: actions/upload-artifact@v4 | |
| with: | |
| name: python-wheels-mac-${{ matrix.os.arch }} | |
| path: ./wheelhouse/*.whl | |
| buildwheel-win: | |
| name: Build wheels for Windows | |
| runs-on: windows-2022 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install Rust targets | |
| run: rustup target add aarch64-pc-windows-msvc | |
| - name: Build wheels | |
| uses: pypa/cibuildwheel@v2.18.1 | |
| env: | |
| CIBW_ARCHS_WINDOWS: all | |
| CIBW_TEST_SKIP: "*-win_arm64" | |
| - uses: actions/upload-artifact@v4 | |
| with: | |
| name: python-wheels-win | |
| path: ./wheelhouse/*.whl |