From 8c5ae13bef8f0c923e9d57aea10dd231e441d2b3 Mon Sep 17 00:00:00 2001 From: Andreas Troelsen Date: Sat, 25 Jun 2022 17:18:02 +0200 Subject: [PATCH] Rename build workflow. The previous name was really just a way to try to "prettify" the whole thing, but the badge in the README is a little wonky compared to other projects, so we're just gonna go with "build" for now for consistency. --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 65833dd..efc305c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,4 +1,4 @@ -name: Build MobArena +name: build on: push