ci: Fix executable name

GaloisInc · Nov 8, 2023 · 3a5c07c · 3a5c07c
1 parent 7ce9ff3
commit 3a5c07c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/crux-llvm-build.yml b/.github/workflows/crux-llvm-build.yml
@@ -167,7 +167,7 @@ jobs:
         run: |
           .github/ci.sh build exe:crucible
           .github/ci.sh build lib:crucible-llvm-syntax
-          .github/ci.sh build exe:crucible-llvm-cli
+          .github/ci.sh build exe:crucible-llvm
           .github/ci.sh build exe:crux-llvm
           .github/ci.sh build exe:crux-llvm-for-ide
           .github/ci.sh build exe:crux-llvm-svcomp