ci: Tweak syntax of hlint command

GaloisInc · Nov 1, 2023 · abac7c9 · abac7c9
1 parent f4b2c4f
commit abac7c9
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/uc-crux-llvm-lint.yaml b/.github/workflows/uc-crux-llvm-lint.yaml
@@ -20,9 +20,7 @@ jobs:
             https://github.com/ndmitchell/hlint/releases/download/v3.3/hlint-3.3-x86_64-linux.tar.gz
           tar xvf hlint.tar.gz
 
-          pushd crucible-llvm-syntax/
-          ../hlint-3.3/hlint src test
-          popd
+          (cd crucible-llvm-syntax/; ../hlint-3.3/hlint src test)
 
           cd uc-crux-llvm/
           ../hlint-3.3/hlint exe src test