Correct typo in performance tests in CI (#3843)

"performace" -> "performance"
runtimeverification · Dec 4, 2023 · 682a170 · 682a170
1 parent d73a7ee
commit 682a170
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -39,7 +39,7 @@ jobs:
           fi
 
   post-performance-tests:
-    name: 'Performace Tests'
+    name: 'Performance Tests'
     runs-on: [self-hosted, linux, normal]
     continue-on-error: true
     steps:

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -119,7 +119,7 @@ jobs:
           retention-days: 1
 
   performance-tests:
-    name: 'Performace Tests'
+    name: 'Performance Tests'
     runs-on: [self-hosted, linux, performance]
     needs: test-package-ubuntu-jammy
     steps: