temporarily disable PR CI trigger

* I don't want my commits to spam the upstream repo with lots of failed action jobs for my incomplete PR
* prevent accidentally creating a release (shouldn't happen with the modified workflow in the head branch (github uses base branch workflows) but you never know)
pull/1118/head
Willy 2021-10-02 17:26:26 +02:00
parent a8147eb790
commit b5a9f17d6d
No known key found for this signature in database
GPG Key ID: 02E60AE5D9208602
1 changed files with 10 additions and 9 deletions

View File

@ -3,9 +3,10 @@ on:
push:
paths-ignore:
- "**.md"
pull_request:
paths-ignore:
- "**.md"
# TODO turn PR trigger back on
# pull_request:
# paths-ignore:
# - "**.md"
env:
is_stable: |