Skip to content

fix: conflict when multiple api keys provided #513

fix: conflict when multiple api keys provided

fix: conflict when multiple api keys provided #513

Workflow file for this run

---
name: Mypy
defaults:
run:
# To load bashrc
shell: bash -ieo pipefail {0}
on:
pull_request:
branches: [master, dev]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
name: Mypy
runs-on: ubuntu-latest
steps:
- name: Checkout Code
uses: actions/checkout@v4
- name: Set up Python 3.8
uses: actions/setup-python@v5
with:
python-version: 3.8
- name: Install dependencies
run: |
pip install .
pip install types-setuptools
mkdir -p .github/linters
cp mypy.ini .github/linters
- name: Mypy
uses: github/super-linter/[email protected]
if: always()
env:
# run linter on everything to catch preexisting problems
VALIDATE_ALL_CODEBASE: true
DEFAULT_BRANCH: master
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# Run only black
VALIDATE_PYTHON_MYPY: true
PYTHON_MYPY_CONFIG_FILE: mypy.ini