From 0b5c0ef3133d2beba6cabecc5ffb6e33e0d9a4e7 Mon Sep 17 00:00:00 2001
From: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
Date: Mon, 4 Mar 2024 16:47:00 +0100
Subject: [PATCH] ci: Fail on formatting issues

This lets the verible fail if there are any formatting issues reported.
This help to
- detect formatting issues soon (before opening a PR),
- clearly mark checks failed for uncompliant changes.

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>
---
 .github/workflows/verible.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/verible.yml b/.github/workflows/verible.yml
index 33d19d536fa..1aa85c7d40a 100644
--- a/.github/workflows/verible.yml
+++ b/.github/workflows/verible.yml
@@ -3,8 +3,7 @@
 # SPDX-License-Identifier: Apache-2.0
 
 name: Verible
-on:
-  pull_request_target:
+on: [push, pull_request_target]
 
 jobs:
   format:
@@ -21,3 +20,4 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           files: 'core/**/*.{v,sv}'
+          fail_on_formatting_suggestions: true