Revert "remove labelling trigger (#1692)"
This reverts commit 6d7084f18d2ef25f4bbb8a1d1f4cb5e4a48a474b.
This commit is contained in:
parent
6d7084f18d
commit
1590fe1f46
2
.github/workflows/maven-pr-builder.yml
vendored
2
.github/workflows/maven-pr-builder.yml
vendored
@ -29,7 +29,7 @@ name: Java PR Builder
|
||||
on:
|
||||
pull_request:
|
||||
branches: [ master ]
|
||||
types: [ opened, reopened, synchronize ]
|
||||
types: [ opened, reopened, synchronize, labeled, unlabeled ]
|
||||
|
||||
jobs:
|
||||
build:
|
||||
|
Loading…
x
Reference in New Issue
Block a user