mirror of
https://github.com/onsonr/sonr.git
synced 2025-03-10 13:07:09 +00:00
ci: improve CI workflow efficiency by removing merge
This commit is contained in:
parent
a3652e3f2f
commit
5eb1f0d0a9
10
.github/workflows/checks.yml
vendored
10
.github/workflows/checks.yml
vendored
@ -9,7 +9,7 @@ jobs:
|
|||||||
name: Tidy PR
|
name: Tidy PR
|
||||||
if: github.event_name == 'pull_request'
|
if: github.event_name == 'pull_request'
|
||||||
permissions:
|
permissions:
|
||||||
contents: write # for TimonVS/pr-labeler-action to read config file
|
contents: read # for TimonVS/pr-labeler-action to read config file
|
||||||
pull-requests: write # for TimonVS/pr-labeler-action to add labels in PR
|
pull-requests: write # for TimonVS/pr-labeler-action to add labels in PR
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
@ -17,14 +17,6 @@ jobs:
|
|||||||
with:
|
with:
|
||||||
fetch-depth: 0 # Required to fetch all history for merging
|
fetch-depth: 0 # Required to fetch all history for merging
|
||||||
|
|
||||||
- name: Update PR with master
|
|
||||||
run: |
|
|
||||||
git config user.name github-actions
|
|
||||||
git config user.email github-actions@github.com
|
|
||||||
git fetch origin master
|
|
||||||
git merge origin/master --no-edit
|
|
||||||
git push
|
|
||||||
|
|
||||||
- uses: TimonVS/pr-labeler-action@v5
|
- uses: TimonVS/pr-labeler-action@v5
|
||||||
with:
|
with:
|
||||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user