2021-09-02 22:32:10 +02:00
|
|
|
name: Unused strings
|
|
|
|
|
|
|
|
on:
|
|
|
|
pull_request:
|
|
|
|
|
2023-02-26 22:36:33 +01:00
|
|
|
concurrency:
|
|
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
|
|
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
|
|
|
|
|
2021-09-02 22:32:10 +02:00
|
|
|
jobs:
|
|
|
|
unused-strings:
|
|
|
|
name: Unused strings
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
steps:
|
|
|
|
- name: Checkout
|
2022-05-13 08:40:39 +02:00
|
|
|
uses: actions/checkout@v3
|
2021-09-02 22:32:10 +02:00
|
|
|
|
|
|
|
- name: Check for unused strings
|
|
|
|
run: |
|
|
|
|
set -ex
|
|
|
|
python3 .github/unused-strings.py
|