Skip to content

Merge pull request #144 from ArneBinder/pointer_re_tm/add_reversed_re… #122

Merge pull request #144 from ArneBinder/pointer_re_tm/add_reversed_re…

Merge pull request #144 from ArneBinder/pointer_re_tm/add_reversed_re… #122

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/[email protected]
- name: Run Labeler
uses: crazy-max/ghaction-github-labeler@v5
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
skip-delete: true