ci: Fix typo in job name

GaloisInc · Aug 20, 2024 · 0fe36e4 · 0fe36e4
1 parent dcb4ec1
commit 0fe36e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -119,7 +119,7 @@ jobs:
     - name: Build macaw-x86-cli
       run: cabal build pkg:macaw-x86-cli
 
-    - name: Test macaw-x86-syntax
+    - name: Test macaw-x86-cli
       run: cabal test pkg:macaw-x86-cli
 
     - name: Build macaw-aarch32