srctree

Robin Linden parent 01eb9252 5fe1b423
Shorten the CI group names displayed in the GitHub UI

Now they're short enough that both the group and job names are visiblewithout clicking through to the main Actions page.
inlinesplit
.github/workflows/ci.yaml added: 5, removed: 2, total 3
@@ -1,3 +1,4 @@
name: ci
on: [push, pull_request]
jobs:
gradle-android-test:
 
.github/workflows/detekt.yaml added: 5, removed: 2, total 3
@@ -1,3 +1,5 @@
name: detekt
 
on:
pull_request:
branches: [ master ]