Merge remote-tracking branch 'origin/develop'

runtimeverification · Dec 4, 2023 · b8f7152 · b8f7152
2 parents ddb98f2 + 682a170
commit b8f7152
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: