From 13c00dd496bf14b58c65241d84730ca8c9591ea8 Mon Sep 17 00:00:00 2001 From: jspijker Date: Wed, 30 Nov 2022 20:07:48 +0100 Subject: [PATCH] Request changes if printer-linter finds issues --- .github/workflows/printer-linter-pr-post.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/printer-linter-pr-post.yml b/.github/workflows/printer-linter-pr-post.yml index f47e22c5c5..e56540747a 100644 --- a/.github/workflows/printer-linter-pr-post.yml +++ b/.github/workflows/printer-linter-pr-post.yml @@ -78,3 +78,4 @@ jobs: github_token: ${{ secrets.GITHUB_TOKEN }} clang_tidy_fixes: printer-linter-result/fixes.yml pull_request_id: ${{ env.pr_id }} + request_changes: true