From 563c597d8890b9da91a508e4d449d4a011e037ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Dinis=20Ferreira?= Date: Mon, 22 Sep 2025 22:24:18 +0200 Subject: [PATCH] ci: avoid duplicate verify runs for PR commits --- .github/workflows/verify.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml index 603a7e1915..0ab3e58296 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -1,5 +1,8 @@ name: verify -on: [push, pull_request] +on: + push: + branches: [master] + pull_request: jobs: pmd: runs-on: ubuntu-22.04