mirror of
https://github.com/OrcaSlicer/OrcaSlicer.git
synced 2026-05-19 11:23:42 +00:00
Compare commits
1 Commits
nightly-bu
...
dependabot
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
1ffe52648a |
4
.github/workflows/pr-label-bot.yml
vendored
4
.github/workflows/pr-label-bot.yml
vendored
@@ -24,7 +24,7 @@ jobs:
|
|||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
- name: Ask PR author for label
|
- name: Ask PR author for label
|
||||||
uses: actions/github-script@v7
|
uses: actions/github-script@v9
|
||||||
with:
|
with:
|
||||||
script: |
|
script: |
|
||||||
function isPermissionDenied(error) {
|
function isPermissionDenied(error) {
|
||||||
@@ -88,7 +88,7 @@ jobs:
|
|||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
- name: Apply label command from PR author
|
- name: Apply label command from PR author
|
||||||
uses: actions/github-script@v7
|
uses: actions/github-script@v9
|
||||||
with:
|
with:
|
||||||
script: |
|
script: |
|
||||||
function isPermissionDenied(error) {
|
function isPermissionDenied(error) {
|
||||||
|
|||||||
Reference in New Issue
Block a user