From 3a5c07cb52725984e91aab541e1ef890047a1bbf Mon Sep 17 00:00:00 2001 From: Langston Barrett Date: Wed, 8 Nov 2023 12:20:24 -0500 Subject: [PATCH] ci: Fix executable name --- .github/workflows/crux-llvm-build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/crux-llvm-build.yml b/.github/workflows/crux-llvm-build.yml index 82a9ee4e0..724317f46 100644 --- 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