From 6489f45c3d3a66ac6d87064d27d26e0a187eb11c Mon Sep 17 00:00:00 2001
From: Joao Palet <joao.palet@outlook.com>
Date: Thu, 7 Sep 2023 12:12:51 +0100
Subject: [PATCH] Fix GitHub workflow names

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

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index acb3f325..3c33377f 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -4,7 +4,7 @@ on: [pull_request, workflow_dispatch]
 
 jobs:
   main:
-    name: Main
+    name: CI
     strategy:
       matrix:
         os: [ubuntu-latest, macos-latest]