From 1dde86ac7d25ec8232f8a70855713148f4d0c8d7 Mon Sep 17 00:00:00 2001 From: Fletcher Dunn Date: Thu, 13 Jul 2023 11:05:56 -0700 Subject: [PATCH] Rename linux flavors workflow --- .github/workflows/linux-flavors.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/linux-flavors.yml b/.github/workflows/linux-flavors.yml index 2ac5909..1302fe8 100644 --- a/.github/workflows/linux-flavors.yml +++ b/.github/workflows/linux-flavors.yml @@ -1,6 +1,6 @@ # We put all of the different linux flavors in a separate workflow, # so that we can have a different status badge for them. -name: Build several different linux flavors +name: Linux flavors # Triggered from the main CI build workflow on: