ci: Use better workflow name and PR message
This commit is contained in:
parent
9ea14935ee
commit
3f4cfec2ae
1 changed files with 2 additions and 2 deletions
4
.github/workflows/pull_request.yml
vendored
4
.github/workflows/pull_request.yml
vendored
|
|
@ -1,4 +1,4 @@
|
|||
name: PR to main
|
||||
name: Open a PR to main
|
||||
|
||||
on:
|
||||
push:
|
||||
|
|
@ -7,7 +7,7 @@ on:
|
|||
workflow_dispatch:
|
||||
|
||||
env:
|
||||
MESSAGE: merge branch `${{ github.head_ref || github.ref_name }}` to `main`
|
||||
MESSAGE: Merge branch `${{ github.head_ref || github.ref_name }}` to `main`
|
||||
|
||||
jobs:
|
||||
pull-request:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue