Skip to content

Merge pull request #41 from ArneBinder/remove_wrapped_metric_with_unb… #26

Merge pull request #41 from ArneBinder/remove_wrapped_metric_with_unb…

Merge pull request #41 from ArneBinder/remove_wrapped_metric_with_unb… #26

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