Tidy up GH Actions naming

olofk · Jul 10, 2023 · 9bb2f95 · 9bb2f95
1 parent c6e5053
commit 9bb2f95
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 2 deletions.
diff --git 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
@@ -1,3 +1,5 @@
+name: Run linter
+
 on: [push, pull_request]
 
 jobs:

diff --git 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
@@ -1,3 +1,5 @@
+name: Build documentation
+
 on:
   push:
     branches: