diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cc876e8..9a721b1 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -39,7 +39,7 @@ jobs:
 
       - name: check file imports 
         run: | 
-          env LEAN_ABORT_ON_PANIC=1 lake exe check_file_imports
+          bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake exe check_file_imports"
 
       - name: lint HepLean
         if: ${{ always() && steps.build.outcome == 'success' || steps.build.outcome == 'failure' }}