Skip to content

Commit

Permalink
Remove PR labeler bot (#8525)
Browse files Browse the repository at this point in the history
* remove labeler bot config

* remove labeler workflows

* revert #7431
  • Loading branch information
TomNicholas authored Dec 6, 2023
1 parent ab6a255 commit ce1af97
Show file tree
Hide file tree
Showing 4 changed files with 1 addition and 112 deletions.
85 changes: 0 additions & 85 deletions .github/labeler.yml

This file was deleted.

2 changes: 1 addition & 1 deletion .github/workflows/benchmarks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ on:

jobs:
benchmark:
if: ${{ contains( github.event.pull_request.labels.*.name, 'run-benchmark') && github.event_name == 'pull_request' || contains( github.event.pull_request.labels.*.name, 'topic-performance') && github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch' }}
if: ${{ contains( github.event.pull_request.labels.*.name, 'run-benchmark') && github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch' }}
name: Linux
runs-on: ubuntu-20.04
env:
Expand Down
14 changes: 0 additions & 14 deletions .github/workflows/label-all.yml

This file was deleted.

12 changes: 0 additions & 12 deletions .github/workflows/label-prs.yml

This file was deleted.

0 comments on commit ce1af97

Please sign in to comment.