chore(deps): update dependency polars to v1.15.0 #4828
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: Linting | |
| on: | |
| pull_request: | |
| branches: [ main ] | |
| types: [ opened, reopened, synchronize ] | |
| push: | |
| branches: [ main ] | |
| workflow_dispatch: | |
| jobs: | |
| linting: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: pnpm/action-setup@v3 | |
| with: | |
| version: 9.7.0 | |
| package_json_file: webclient/package.json | |
| run_install: | | |
| - cwd: webclient | |
| args: [--frozen-lockfile, --strict-peer-dependencies] | |
| - args: [--global, openapi-format] | |
| - run: pnpm run type-refresh | |
| working-directory: webclient | |
| - name: Setup Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.12' | |
| - name: Install python dependencies | |
| run: pip install -r data/requirements.txt -r requirements-dev.txt | |
| - name: Run pre-commit | |
| continue-on-error: ${{ github.ref == 'refs/heads/main' }} | |
| uses: pre-commit/[email protected] | |
| - name: Create Pull Request | |
| uses: peter-evans/create-pull-request@v7 | |
| if: github.ref == 'refs/heads/main' | |
| with: | |
| commit-message: fixed formatting mistakes have sneaked into prod | |
| title: "chore(formatting): Fixed formatting mistakes" | |
| body: | | |
| - There has been a mishap and formatting mistakes have sneaked into prod | |
| - Auto-generated by [create-pull-request][1] | |
| PR comes from [this Workflow Run](${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}) | |
| [ 1 ]: https://github.com/peter-evans/create-pull-request | |
| branch: chore/formatting-fixes | |
| delete-branch: true |