rename step.

ufmg-smite · Nov 23, 2024 · 6d9f29b · 6d9f29b
1 parent 0b2c5da
commit 6d9f29b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,7 +16,7 @@ jobs:
         - name: macOS-x86_64
           os: macos-13
     steps:
-    - name: Build and run lean-smt
+    - name: Build and Test lean-smt
       uses: leanprover/lean-action@v1
       with:
         build-args: "Smt Smt.Rat Smt.Real"