Merge pull request #2087 from spotify/rugvip/reci

workflows: rename Frontend CI to just CI
2020-08-23 18:09:26 +02:00
parent d7a10bcf12 5f1c74452a
commit 6e038d196c
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: