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