Undo change to skip build for docs changes. GitHub requires checks to be able to merge PR. Need to revisit.
@@ -4,12 +4,8 @@ on:
push:
branches:
- master
- paths-ignore:
- - '**.md'
pull_request:
branches: ['*']
- paths-ignore:
- - '**.md'
env:
GRADLE_CACHE_KEY: ${{ github.run_id }}-gradle-${{ github.run_number }}-${{ github.run_number }}-${{ github.sha }}
