diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml
index cae8d8c..82128ce 100644
--- a/.github/workflows/formal.yml
+++ b/.github/workflows/formal.yml
@@ -1,4 +1,5 @@
-name: run-formal
+name: Formal verification
+
 on: [push]
 jobs:
   formal:
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 27a0608..a260f0c 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -1,3 +1,5 @@
+name: Run linter
+
 on: [push, pull_request]
 
 jobs:
diff --git a/.github/workflows/openlane.yml b/.github/workflows/openlane.yml
index 3de99ad..0bed087 100644
--- a/.github/workflows/openlane.yml
+++ b/.github/workflows/openlane.yml
@@ -1,4 +1,5 @@
-name: build-openlane-sky130
+name: Build GDS using OpenLANE and sky130 PDK
+
 on: [push]
 jobs:
   build-openlane:
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 83c73af..4134ac9 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -1,3 +1,5 @@
+name: Build documentation
+
 on:
   push:
     branches: