workflows: better names

This commit is contained in:
webzwo0i 2020-11-23 00:55:03 +01:00
parent 277a9f8fb9
commit f6be407df2
6 changed files with 11 additions and 10 deletions

View file

@ -7,7 +7,7 @@ jobs:
withoutplugins:
# don't run on PRs from forks
if: github.event.pull_request.head.repo.full_name == 'ether/etherpad-lite' || github.event_name == 'push'
name: Frontend tests without plugins
name: without plugins
runs-on: ubuntu-latest
steps:
@ -45,7 +45,7 @@ jobs:
withplugins:
# don't run on PRs from forks
if: github.event.pull_request.head.repo.full_name == 'ether/etherpad-lite' || github.event_name == 'push'
name: Frontend tests with plugins
name: with plugins
runs-on: ubuntu-latest
steps: