From be3431992667aa38ae975670469792d9e1275a5f Mon Sep 17 00:00:00 2001 From: Christian Stefanescu Date: Thu, 21 Dec 2023 19:52:27 +0100 Subject: [PATCH] chore: gha: Add linter run to PR checks --- .github/workflows/pr.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 2995d2fb2b..5250db945b 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -1,4 +1,4 @@ -name: Check formatting +name: Run linter & formatting check on: pull_request: @@ -18,3 +18,6 @@ jobs: - name: Check code formatting run: make format-check + + - name: Run linter + run: make lint