Skip to content

17/merge -> quick lint ( 1 ) #13

17/merge -> quick lint ( 1 )

17/merge -> quick lint ( 1 ) #13

Workflow file for this run

---
name: Lint-> quick lint
on:
push:
branches: [master, main]
# only when python files are changed
paths:
- '**.py'
pull_request:
branches: [master, main]
# set the run-name
run-name: ${{ github.ref_name }} -> quick lint (
${{ github.run_attempt }}
)
jobs:
lint:
name: Lints the code using specified linters
runs-on: ubuntu-latest
steps:
- name: Get current date and time
id: datetime
run: |
datetime=$(date +'%Y-%m-%dT%H-%M-%SZ')
echo "datetime=$datetime" >> $GITHUB_OUTPUT
- name: Display date/time in output (forensics when triaging issues)
run: echo ${{ steps.datetime.outputs.datetime }}
- name: Checkout Code
uses: actions/[email protected]
- name: Set up Python 3.11
uses: actions/[email protected]
with:
python-version: 3.11
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install -r requirements.txt
pip install black
pip install ruff
pip install mypy
- name: Lint with black
run: |
black --check src
# ignore E501 (line too long) for now
- name: Lint with ruff
run: |
ruff src --ignore=E501
- name: Lint with mypy
run: |
mypy src