Skip to content
This repository has been archived by the owner on Jan 4, 2022. It is now read-only.

github-actions(deps): bump actions/github-script from v3.1 to v4.0.2 #443

Merged
merged 1 commit into from
Apr 26, 2021
Merged

github-actions(deps): bump actions/github-script from v3.1 to v4.0.2 #443

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
8 changes: 4 additions & 4 deletions .github/workflows/integrate.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -364,7 +364,7 @@ jobs:

steps:
- name: "Request review from @ergebnis-bot"
uses: "actions/github-script@v3.1"
uses: "actions/github-script@v4.0.2"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
script: |
Expand All @@ -383,7 +383,7 @@ jobs:
})

- name: "Assign @ergebnis-bot"
uses: "actions/github-script@v3.1"
uses: "actions/github-script@v4.0.2"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
script: |
Expand All @@ -402,7 +402,7 @@ jobs:
})

- name: "Approve pull request"
uses: "actions/github-script@v3.1"
uses: "actions/github-script@v4.0.2"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
script: |
Expand All @@ -417,7 +417,7 @@ jobs:
})

- name: "Merge pull request"
uses: "actions/github-script@v3.1"
uses: "actions/github-script@v4.0.2"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
script: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/triage.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:

steps:
- name: "Add labels based on branch name"
uses: "actions/github-script@v3.1"
uses: "actions/github-script@v4.0.2"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
script: |
Expand Down