feat: Add array literals #976
Workflow file for this run
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: | |
| - '**' | |
| merge_group: | |
| types: [checks_requested] | |
| workflow_dispatch: {} | |
| env: | |
| SCCACHE_GHA_ENABLED: "true" | |
| RUSTC_WRAPPER: "sccache" | |
| # A constant location for the uv cache | |
| UV_CACHE_DIR: /tmp/.uv-cache | |
| jobs: | |
| check: | |
| name: Check Python (3.10) | |
| runs-on: ubuntu-latest | |
| env: | |
| PYTHON_VERSION: '3.10' | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Run sccache-cache | |
| uses: mozilla-actions/[email protected] | |
| - name: install-llvm | |
| run: "sudo apt-get update && sudo apt-get install -y llvm-14" | |
| - name: Set up uv | |
| run: curl -LsSf https://astral.sh/uv/0.3.4/install.sh | sh | |
| - name: "Set up Python" | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: ${{ env.PYTHON_VERSION }} | |
| - name: Restore uv cache | |
| uses: actions/cache@v4 | |
| with: | |
| path: ${{ env.UV_CACHE_DIR }} | |
| key: uv-${{ runner.os }}-${{ hashFiles('uv.lock') }} | |
| restore-keys: | | |
| uv-${{ runner.os }} | |
| - name: Install Guppy | |
| run: uv sync | |
| - name: Type check with mypy | |
| run: uv run mypy guppylang | |
| - name: Check formatting with ruff | |
| run: uv run ruff format --check guppylang | |
| - name: Lint with ruff | |
| run: uv run ruff check guppylang | |
| - name: Install Guppy with validation and llvm-based execution | |
| run: uv sync --extra execution --extra validation | |
| - name: Run tests | |
| run: uv run pytest | |
| - name: Install tket2 dependencies | |
| # This removes the `execution` and `validation` extra groups | |
| run: uv sync --extra pytket | |
| - name: Rerun `py(...)` expression tests and pytket lowering with tket2 installed | |
| run: uv run pytest tests/integration/test_py.py tests/error/test_py_errors.py tests/integration/test_tket.py | |
| - name: Minimize uv cache | |
| run: uv cache prune --ci | |
| test-coverage: | |
| name: Check Python (3.12) with coverage | |
| runs-on: ubuntu-latest | |
| env: | |
| PYTHON_VERSION: '3.12' | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Run sccache-cache | |
| uses: mozilla-actions/[email protected] | |
| - name: Set up uv | |
| run: curl -LsSf https://astral.sh/uv/0.3.4/install.sh | sh | |
| - name: "Set up Python" | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: ${{ env.PYTHON_VERSION }} | |
| - name: Restore uv cache | |
| uses: actions/cache@v4 | |
| with: | |
| path: ${{ env.UV_CACHE_DIR }} | |
| key: uv-${{ runner.os }}-${{ hashFiles('uv.lock') }} | |
| restore-keys: | | |
| uv-${{ runner.os }} | |
| - name: Install Guppy with validation, execution and pytket | |
| run: uv sync --extra execution --extra pytket --extra validation | |
| - name: Run python tests with coverage instrumentation | |
| run: uv run pytest --cov=./ --cov-report=xml | |
| - name: Upload python coverage to codecov.io | |
| uses: codecov/codecov-action@v4 | |
| with: | |
| files: coverage.xml | |
| name: python | |
| token: ${{ secrets.CODECOV_TOKEN }} | |
| - name: Minimize uv cache | |
| run: uv cache prune --ci |