Shorten the workflow name

Mikhail Zabaluev · Mikhail Zabaluev · commit b4a428fdce3e · 2021-01-07T18:36:05.000+02:00
As it appears in GitHub check views in PRs, it's better to keep the
common part of displayed names short.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -4,7 +4,7 @@ on:
       - master
   pull_request:
 
-name: Continuous integration
+name: CI
 
 jobs:
 
