Set CI name for Jazzy

Signed-off-by: Francisco Martín Rico <fmrico@gmail.com>
fmrico · Oct 12, 2024 · ddec438 · ddec438
1 parent 80a8808
commit ddec438
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/jazzy-devel.yaml b/.github/workflows/jazzy-devel.yaml
@@ -1,4 +1,4 @@
-name: jazzy
+name: jazzy-devel
 
 on:
   pull_request: