Rename github workflow from 'CI' to 'build'

tgeens · tgeens · commit 681796a805ad · 2021-03-04T09:55:21.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,4 +1,4 @@
-name: CI
+name: build
 on:
   push:
   pull_request:
