From 9e9d5df961d898789e5340793ce2bbeeb10433cc Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Sat, 8 Dec 2018 10:35:08 +0100
Subject: [PATCH] Rename main workflow

---
 .github/main.workflow | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/main.workflow b/.github/main.workflow
index 43a06c5..67a625e 100644
--- a/.github/main.workflow
+++ b/.github/main.workflow
@@ -1,4 +1,4 @@
-workflow "New workflow" {
+workflow "Build and push" {
   on = "push"
   resolves = ["Login", "Push"]
 }