From ee12ea8230088f406b2d0fd694d55b571ef12124 Mon Sep 17 00:00:00 2001 From: Philipp Date: Wed, 29 Nov 2023 14:34:26 +0100 Subject: [PATCH] Run linting also on PRs towards dev branch (#96) Co-authored-by: Philipp Ross --- .github/workflows/lint.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index f870f546..522abc57 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -4,7 +4,7 @@ on: push: branches: '**' pull_request: - branches: [ main ] + branches: ['main', 'dev'] permissions: checks: write