chore: fix Discord-on-PR workflow + add dates to releases (#1434)

This commit is contained in:
Juro Oravec 2025-10-04 09:34:50 +02:00 committed by GitHub
parent 60651f30b2
commit 4b674fda69
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 104 additions and 1 deletions

View file

@ -1,7 +1,10 @@
name: Notify Discord on new PRs
on:
pull_request:
# NOTE: Using `pull_request_target` instead of `pull_request`
# so we can access repository secrets.
# See https://docs.github.com/en/actions/reference/workflows-and-actions/events-that-trigger-workflows#pull_request_target
pull_request_target:
types: [opened]
jobs: