From 8d14a123e95e674e47df17a48b6ae3318d09b0a8 Mon Sep 17 00:00:00 2001
From: Alexis Lefebvre <alexislefebvre+github@gmail.com>
Date: Wed, 29 Mar 2023 17:56:26 +0200
Subject: [PATCH] GitHub actions: rename the push job

---
 .github/workflows/push.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
index 25a647a..d4e066d 100644
--- a/.github/workflows/push.yaml
+++ b/.github/workflows/push.yaml
@@ -1,4 +1,4 @@
-name: ci
+name: push
 
 on:
   push: