From 467d248f91f5198ef350fa3b87b8186ab8c40c12 Mon Sep 17 00:00:00 2001 From: pducolin Date: Fri, 30 Aug 2024 10:20:26 +0200 Subject: [PATCH] [github] lint and build on PR once --- .github/workflows/build.yml | 7 ++++++- .github/workflows/lint.yml | 7 ++++++- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 2e76182..a423ea2 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,11 @@ name: Build -on: [push, pull_request] +on: + push: + branches: + - master + pull_request: + jobs: build: diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index e39c277..707e400 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -1,6 +1,11 @@ name: Lint -on: [push, pull_request] +on: + push: + branches: + - master + pull_request: + jobs: build: