Fix step naming on CI

mit-plv · Nov 20, 2022 · ddb0dc0 · ddb0dc0
1 parent 84df3fa
commit ddb0dc0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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