Skip to content

Merge pull request #21 from ArneBinder/token_document_types #13

Merge pull request #21 from ArneBinder/token_document_types

Merge pull request #21 from ArneBinder/token_document_types #13

Workflow file for this run

name: Labeler
on:
push:
branches:
- main
jobs:
labeler:
runs-on: ubuntu-latest
steps:
- name: Check out the repository
uses: actions/checkout@v3
- name: Run Labeler
uses: crazy-max/ghaction-github-labeler@v5
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
skip-delete: true