GitHub actions: rename the push job

Troopers · Mar 29, 2023 · 8d14a12 · 8d14a12
1 parent 7ddef5a
commit 8d14a12
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
@@ -1,4 +1,4 @@
-name: ci
+name: push
 
 on:
   push: