From ddb0dc059c5833ee20ec897b5f428b34cf47ffa1 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Sun, 20 Nov 2022 07:28:49 -0500
Subject: [PATCH] Fix step naming on CI

---
 .github/workflows/coq.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 96713b4cf..088ac55e1 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -53,7 +53,7 @@ jobs:
         submodules: recursive
     - name: all
       run: etc/ci/github-actions-make.sh ${EXTRA_GH_REPORTIFY} -j2 all
-    - name: perf-SuperFast
+    - name: perf-Sanity
       run: etc/ci/github-actions-make.sh ${EXTRA_GH_REPORTIFY} -j2 perf-Sanity
     - name: display timing info
       run: cat time-of-build-pretty.log