Rename CI job thus fixing build badge

eldruin · eldruin · commit 48c25349c959 · 2021-09-20T17:53:28.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,7 +3,7 @@ on:
     branches: [ staging, trying, master ]
   pull_request:
 
-name: Continuous integration
+name: CI
 
 jobs:
   ci-linux:
