Rename linux flavors workflow

This commit is contained in:
Fletcher Dunn
2023-07-13 11:05:56 -07:00
parent 414d32dcfb
commit 1dde86ac7d
+1 -1
View File
@@ -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: