[*]: update CI stuff v1.1

Author: Lars Moelleken

.github/workflows/ci.yml

@@ -1,3 +1,6 @@
+
+name: CI
+
 on:
   push:
     branches:
@@ -6,6 +9,8 @@ on:
     branches:
       - master
 
+  workflow_dispatch:
+
 defaults:
   run:
     shell: bash