diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml
index 3523a2a06..b2e5ed57a 100644
--- a/.github/workflows/changelog.yml
+++ b/.github/workflows/changelog.yml
@@ -1,4 +1,4 @@
-name: changelog
+name: Changelog
 
 on:
   pull_request:
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
index 6be2fd722..22e5d5039 100644
--- a/.github/workflows/checks.yml
+++ b/.github/workflows/checks.yml
@@ -1,4 +1,4 @@
-name: checks
+name: Checks
 
 on:
   push:
diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index 3c9fe6fac..10b6bcee7 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -1,4 +1,4 @@
-name: formal verification
+name: Formal verification
 
 on:
   push: