From db20b1dc14c9409728462be3b1b18302fa9768e1 Mon Sep 17 00:00:00 2001
From: mrdudz <mrdudz@users.noreply.github.com>
Date: Sat, 16 Apr 2022 18:21:57 +0200
Subject: [PATCH] run style checks on PR

---
 .github/workflows/build-on-pull-request.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build-on-pull-request.yml b/.github/workflows/build-on-pull-request.yml
index 6ab8543de..e9176f8c4 100644
--- a/.github/workflows/build-on-pull-request.yml
+++ b/.github/workflows/build-on-pull-request.yml
@@ -21,6 +21,9 @@ jobs:
       - name: Checkout Source
         uses: actions/checkout@v2
 
+      - name: Do some simple style checks
+        shell: bash
+        run: make -j2 check
       - name: Build the tools.
         shell: bash
         run: make -j2 bin USER_CFLAGS=-Werror