chore(ci): Rename jmh workflow

guicamest · Jan 6, 2024 · e1f7d2a · e1f7d2a
1 parent 27c09c1
commit e1f7d2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/jmh.yml b/.github/workflows/jmh.yml
@@ -1,4 +1,4 @@
-name: Build and verify
+name: JMH
 on:
   pull_request:
     branches: [ v3 ]