From 9bb2f95bf40e9960ce8bc64229947832cd552647 Mon Sep 17 00:00:00 2001 From: Olof Kindgren Date: Mon, 10 Jul 2023 15:07:38 +0200 Subject: [PATCH] Tidy up GH Actions naming --- .github/workflows/formal.yml | 3 ++- .github/workflows/lint.yml | 2 ++ .github/workflows/openlane.yml | 3 ++- .github/workflows/pages.yml | 2 ++ 4 files changed, 8 insertions(+), 2 deletions(-) diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index cae8d8c8..82128cef 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 27a0608c..a260f0c9 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 3de99add..0bed0873 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 83c73afe..4134ac96 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -1,3 +1,5 @@ +name: Build documentation + on: push: branches: