github: rename the main action to ci

As in: Continuous Integration. Signed-off-by: Felipe Contreras <[email protected]>
frej · Mar 27, 2023 · 278cc99 · 278cc99
1 parent cf66c36
commit 278cc99
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/main.yml → .github/workflows/ci.yml b/.github/workflows/main.yml → .github/workflows/ci.yml
@@ -1,3 +1,5 @@
+name: CI
+
 on:
   push:
     branches: [master]