From 4529ccef7dc5ae8ed531d5bba0cd18f813c083d8 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Wed, 26 Jun 2024 09:03:51 -0400
Subject: [PATCH] test: Workflows

---
 .github/workflows/build.yml | 10 +++++-----
 HepLean.lean                |  3 +--
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d9d6af3..9a721b1 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -28,10 +28,7 @@ jobs:
       - name: build cache
         run: |
           lake exe cache get
-      - name: check file imports 
-        run: | 
-          bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake exe check_file_imports"
-  
+ 
       - name: build HepLean
         id: build
         uses: liskin/gh-problem-matcher-wrap@v3
@@ -40,7 +37,10 @@ jobs:
           run: |
             bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake build -KCI | tee stdout.log"
 
-   
+      - name: check file imports 
+        run: | 
+          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' }}
         id: lint
diff --git a/HepLean.lean b/HepLean.lean
index ee22052..aa68e9e 100644
--- a/HepLean.lean
+++ b/HepLean.lean
@@ -73,7 +73,6 @@ import HepLean.SpaceTime.LorentzGroup.Proper
 import HepLean.SpaceTime.LorentzGroup.Rotations
 import HepLean.SpaceTime.Metric
 import HepLean.SpaceTime.SL2C.Basic
-import HepLean.StandardModel.Basic
-import HepLean.StandardModel.HiggsBoson.Basic
 import HepLean.StandardModel.HiggsBoson.TargetSpace
+import HepLean.StandardModel.HiggsBoson.Basic
 import HepLean.StandardModel.Representations