chore(CI): also skip docs making on draft PRs

This commit is contained in:
Benjamin Kampmann
2022-02-23 16:07:16 +01:00
parent 21887877da
commit 692f9d893a

View File

@@ -9,6 +9,7 @@ jobs:
docs:
name: docs
runs-on: ubuntu-latest
if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
steps:
- name: Checkout repository