Skip to content

Merge branch 'develop' into i18n-save-lang-for-auth-user #10266

Merge branch 'develop' into i18n-save-lang-for-auth-user

Merge branch 'develop' into i18n-save-lang-for-auth-user #10266

Workflow file for this run

name: Find unused code
on:
push:
paths:
- '**.py'
pull_request:
paths:
- '**.py'
jobs:
build:
runs-on: ubuntu-latest
# We only want to run on external PRs, since internal PRs are covered by "push"
# This prevents this from running twice on internal PRs
if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
steps:
- uses: actions/checkout@v2
- uses: actions/setup-python@v2
- name: Install Vulture
run: pip3 install vulture
- name: Run Vulture
run: vulture .