Skip to content

Merge remote-tracking branch 'origin/master' into dev/SERVER-216 #193

Merge remote-tracking branch 'origin/master' into dev/SERVER-216

Merge remote-tracking branch 'origin/master' into dev/SERVER-216 #193

Workflow file for this run

name: Format Check
on:
push:
branches: ["*"]
pull_request:
branches: ["dependabot/**"]
permissions:
contents: read
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- name: Get Python version from Pipfile
run: echo "PYTHON_VERSION=$(grep "python_version" Pipfile | cut -d ' ' -f 3 - | tr -d '"')" >> $GITHUB_ENV
- name: Set up Python ${{ env.PYTHON_VERSION }}
uses: actions/setup-python@v5
with:
python-version: ${{ env.PYTHON_VERSION }}
- name: Install dependencies
run: |
python -m pip install pipenv
pipenv install --dev
- name: Run Format Check
run: |
make format-check