Skip to content

Commit

Permalink
CI: Lint bookmarkmgr using mypy
Browse files Browse the repository at this point in the history
  • Loading branch information
lubo committed Jun 4, 2024
1 parent 0d3cd3b commit 828b916
Showing 1 changed file with 18 additions and 2 deletions.
20 changes: 18 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@ name: CI
on: push
permissions: { }
jobs:
lint:
name: Lint
lint-all:
name: Lint - All
runs-on: ubuntu-latest
permissions:
contents: read
Expand All @@ -22,3 +22,19 @@ jobs:
# https://github.com/python/mypy/issues/16070
VALIDATE_PYTHON_MYPY: false
VALIDATE_PYTHON_PYLINT: false
lint-bookmarkmgr:
name: Lint - bookmarkmgr
runs-on: ubuntu-latest
permissions:
contents: read
statuses: write
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: super-linter/super-linter/[email protected]
env:
DEFAULT_WORKSPACE: ${{ env.GITHUB_WORKSPACE }}/bookmarkmgr
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# https://github.com/python/mypy/issues/16070
VALIDATE_PYTHON_MYPY: true

0 comments on commit 828b916

Please sign in to comment.