Rename main CI workflow to be more human-friendly

mprpic · mprpic · commit 593c1ca0828b · 2026-02-08T11:16:23.000-05:00
Signed-off-by: Martin Prpič &lt;martin.prpic@gmail.com&gt;
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,4 +1,4 @@
-name: main.yml
+name: CI
 on: [ push, pull_request ]
 
 jobs:
