feat: Merge hugr's schema Value with Const
#403
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: Pull Request | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| merge_group: | |
| types: [checks_requested] | |
| workflow_dispatch: {} | |
| env: | |
| SCCACHE_GHA_ENABLED: "true" | |
| RUSTC_WRAPPER: "sccache" | |
| jobs: | |
| check: | |
| name: Check Python | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| python-version: ['3.10'] | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Run sccache-cache | |
| uses: mozilla-actions/[email protected] | |
| - name: Install poetry | |
| run: pipx install poetry | |
| - name: Set up Python ${{ matrix.python-version }} | |
| uses: actions/setup-python@v3 | |
| with: | |
| python-version: ${{ matrix.python-version }} | |
| cache: "poetry" | |
| - name: Install Guppy | |
| run: poetry install | |
| - name: Type check with mypy | |
| run: poetry run mypy guppylang | |
| - name: Check formatting with ruff | |
| uses: chartboost/ruff-action@v1 | |
| with: | |
| src: "./guppylang" | |
| args: format --check | |
| version: 0.3.0 | |
| - name: Lint with ruff | |
| uses: chartboost/ruff-action@v1 | |
| with: | |
| src: "./guppylang" | |
| args: check | |
| - name: Install Guppy with validation | |
| run: poetry install --with validation | |
| - name: Run tests | |
| run: poetry run pytest | |
| - name: Install tket2 dependencies | |
| run: poetry install --with pytket | |
| - name: Rerun `py(...)` expression tests with tket2 installed | |
| run: poetry run pytest tests/integration/test_py.py tests/error/test_py_errors.py | |
| coverage: | |
| if: github.event_name != 'merge_group' | |
| needs: check | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Run sccache-cache | |
| uses: mozilla-actions/[email protected] | |
| - name: Install poetry | |
| run: pipx install poetry | |
| - name: Set up Python 3.10 | |
| uses: actions/setup-python@v3 | |
| with: | |
| python-version: '3.10' | |
| cache: "poetry" | |
| - name: Install Guppy with validation and pytket | |
| run: poetry install --with validation --with pytket | |
| - name: Run python tests with coverage instrumentation | |
| run: poetry run pytest --cov=./ --cov-report=xml | |
| - name: Upload python coverage to codecov.io | |
| uses: codecov/codecov-action@v3 | |
| with: | |
| files: coverage.xml | |
| name: python | |
| token: ${{ secrets.CODECOV_TOKEN }} |