CI: add names to workflows

lzaoral · lzaoral · commit 2cd75ba550ed · 2022-04-21T11:38:26.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,4 +1,6 @@
 ---
+name: Ubuntu CI
+
 on:
   push:
     branches: main
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -1,4 +1,6 @@
 ---
+name: Coverity
+
 on:
   push:
     branches: main

-Original file line number
+Diff line change
@@ @@ -1,4 +1,6 @@ @@
 ---
 +name: Ubuntu CI
++
 on:
   push:
     branches: main