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.
This commit is contained in:
Andreas Troelsen 2022-06-25 17:18:02 +02:00
parent 36908cbe85
commit 8c5ae13bef

View File

@ -1,4 +1,4 @@
name: Build MobArena name: build
on: push on: push