From df0fae74ecd8b15967611a96a53728ed6f036bbc Mon Sep 17 00:00:00 2001
From: Andras Schmelczer <andras@schmelczer.dev>
Date: Sun, 23 Feb 2025 10:48:22 +0000
Subject: [PATCH] Don't ignore lints

---
 .github/workflows/check.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 42b33d2..13ea8f4 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -51,7 +51,7 @@ jobs:
           cd frontend
           npm ci
           npm run build
-          npm run lint || true  # ignore linting errors for now
+          npm run lint
           if [[ $(git status --porcelain) ]]; then
               git status --porcelain
               echo "Failing CI because the working directory is not clean after linting."
@@ -61,5 +61,4 @@ jobs:
       - name: Test frontend
         run: |
           cd frontend
-          npm ci
           npm run test