From 0183f8ef6f14eac8d599b8ce636aa8cd791b9bbe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Walter?= Date: Fri, 8 Sep 2023 09:51:08 +0200 Subject: [PATCH] Add linter to CI --- .github/workflows/linters.yml | 4 +++- .github/workflows/test.yml | 6 ++++-- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/.github/workflows/linters.yml b/.github/workflows/linters.yml index 99bf3ae0..d7098981 100644 --- a/.github/workflows/linters.yml +++ b/.github/workflows/linters.yml @@ -1,7 +1,9 @@ name: linters on: - workflow_call: + push: + branches: [main] + pull_request: jobs: check: diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index a4d30a79..70519d97 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -1,6 +1,9 @@ name: test -on: [pull_request] +on: + push: + branches: [main] + pull_request: jobs: test: @@ -26,4 +29,3 @@ jobs: # run tests - name: run tests run: make ef-tests -