workflows: rename Frontend CI to just CI

2020-08-23 16:18:48 +02:00
parent d7a10bcf12
commit 5f1c74452a
1 changed files with 2 additions and 2 deletions
@@ -1,11 +1,11 @@
-name: Frontend CI
+name: CI

 on:
  pull_request:
    paths-ignore:
      - 'microsite/**'
 jobs:
-  build:
+  verify:
    runs-on: ubuntu-latest

    strategy: