ci: update pr condition

This commit is contained in:
Daniel Roe 2023-05-15 22:30:04 +01:00
parent bc28d536c0
commit f8c7b34bde

View File

@ -3,7 +3,6 @@ name: release
on: on:
issue_comment: issue_comment:
types: [created] types: [created]
contains: "/trigger release"
env: env:
# 7 GiB by default on GitHub, setting to 6 GiB # 7 GiB by default on GitHub, setting to 6 GiB
@ -11,6 +10,7 @@ env:
jobs: jobs:
release-pr: release-pr:
if: ${{ github.event.issue.pull_request && github.event.comment.body == '/trigger release' }}
permissions: permissions:
id-token: write id-token: write
runs-on: ubuntu-latest runs-on: ubuntu-latest