From 1590fe1f46801ea4fb6ef6b00cb743de14402924 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ilkka=20Sepp=C3=A4l=C3=A4?= Date: Sun, 28 Mar 2021 10:15:49 +0300 Subject: [PATCH] Revert "remove labelling trigger (#1692)" This reverts commit 6d7084f18d2ef25f4bbb8a1d1f4cb5e4a48a474b. --- .github/workflows/maven-pr-builder.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/maven-pr-builder.yml b/.github/workflows/maven-pr-builder.yml index f529920ca..7166604ae 100644 --- a/.github/workflows/maven-pr-builder.yml +++ b/.github/workflows/maven-pr-builder.yml @@ -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: