mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Merge pull request #10836 from OlegZharkov/bot-test
This commit is contained in:
+42
-5
@@ -1,31 +1,68 @@
|
||||
---
|
||||
area/admin:
|
||||
- client/src/components/admin/**/*
|
||||
- doc/source/admin
|
||||
- doc/source/admin/**/*
|
||||
area/API:
|
||||
- lib/galaxy/webapps/galaxy/api/**/*
|
||||
area/client:
|
||||
- client/**/*
|
||||
- client/*
|
||||
area/datatypes:
|
||||
- lib/galaxy/datatypes/**/*
|
||||
- lib/galaxy/config/sample/datatypes_conf.xml.sample
|
||||
area/dependencies:
|
||||
- lib/galaxy/dependencies/**/*
|
||||
area/documentation:
|
||||
- doc/**/*
|
||||
area/jobs:
|
||||
- lib/galaxy/jobs/**/*
|
||||
area/libraries:
|
||||
- client/src/components/LibraryFolder/**/*
|
||||
- lib/galaxy/webapps/galaxy/api/libraries.py
|
||||
area/objectstore:
|
||||
- lib/galaxy/objectstore/**/*
|
||||
area/packaging:
|
||||
- packages/**/*
|
||||
area/reports:
|
||||
- client/src/reports/**/*
|
||||
- lib/galaxy/webapps/reports/**/*
|
||||
- templates/webapps/reports/**/*
|
||||
area/scripts:
|
||||
- scripts/**/*
|
||||
area/security:
|
||||
- lib/galaxy/security/**/*
|
||||
area/testing:
|
||||
- lib/galaxy_test/**/*
|
||||
- run_tests.sh
|
||||
- test/**/*
|
||||
- test-data/**/*
|
||||
- lib/galaxy/tools/test.py
|
||||
- run_tests.sh
|
||||
area/testing/api:
|
||||
- lib/galaxy_test/api/**/*
|
||||
area/testing/integration:
|
||||
- test/integration/**/*
|
||||
- test/integration_selenium/**/*
|
||||
area/testing/selenium:
|
||||
- lib/galaxy/selenium/**/*
|
||||
- lib/galaxy_test/selenium/**/*
|
||||
area/tool-dependencies:
|
||||
- lib/galaxy/tool_util/deps/**/*
|
||||
area/tool-framework:
|
||||
- lib/galaxy/tools/**/*
|
||||
- lib/galaxy/tool_util/**/*
|
||||
- lib/galaxy/webapps/galaxy/api/tools.py
|
||||
area/tools:
|
||||
- tools/**/*
|
||||
- lib/galaxy/webapps/galaxy/api/tools.py
|
||||
- tool-data/**/*
|
||||
area/toolshed:
|
||||
- client/src/toolshed/**/*
|
||||
- lib/galaxy/webapps/galaxy/api/toolshed.py
|
||||
- lib/toolshed/**/*
|
||||
- templates/webapps/tool_shed/**/*
|
||||
area/UI-UX:
|
||||
- client/src/**/*
|
||||
- templates/**/*
|
||||
area/util:
|
||||
- lib/galaxy/util/**/*
|
||||
area/visualizations:
|
||||
- config/plugins/visualizations/**/*
|
||||
area/workflows:
|
||||
- lib/galaxy/workflow/**/*
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
name: "Labels Verifier"
|
||||
on:
|
||||
pull_request:
|
||||
pull_request_target:
|
||||
types: [closed]
|
||||
|
||||
jobs:
|
||||
@@ -11,10 +11,11 @@ jobs:
|
||||
- name: Check Labels on merge
|
||||
if: |
|
||||
github.event.pull_request.merged == true &&
|
||||
contains(github.event.pull_request.labels.*.name, 'kind/') == false
|
||||
! contains(join(github.event.pull_request.labels.*.name, ', '), 'kind/') &&
|
||||
! contains(github.event.pull_request.labels.*.name, 'merge')
|
||||
uses: actions/github-script@0.3.0
|
||||
with:
|
||||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
script: |
|
||||
const { issue: { number: issue_number }, repo: { owner, repo } } = context;
|
||||
github.issues.createComment({ issue_number, owner, repo, body: 'This PR was merged without a "kind/" label, please correct.' })
|
||||
github.issues.createComment({ issue_number, owner, repo, body: 'This PR was merged without a "kind/" label, please correct.' })
|
||||
|
||||
@@ -4,26 +4,23 @@ on:
|
||||
|
||||
jobs:
|
||||
labeler:
|
||||
name: "Assign Labels"
|
||||
name: Assign labels and milestone
|
||||
runs-on: ubuntu-latest
|
||||
env:
|
||||
MILESTONE_NUMBER: 18
|
||||
steps:
|
||||
- uses: actions/labeler@main
|
||||
with:
|
||||
repo-token: "${{ secrets.GITHUB_TOKEN }}"
|
||||
|
||||
milestone:
|
||||
name: "Assign Milestone"
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Assign Milestone
|
||||
if: |
|
||||
contains(github.event.pull_request.title, 'WIP') == false &&
|
||||
contains(github.event.pull_request.title, 'merge') == false &&
|
||||
github.event.pull_request.draft == false
|
||||
env:
|
||||
MILESTONE_NUMBER: 18
|
||||
- name: Assign milestone
|
||||
if: |
|
||||
! github.event.pull_request.milestone &&
|
||||
! contains(github.event.pull_request.labels.*.name, 'merge') &&
|
||||
! contains(github.event.pull_request.labels.*.name, 'status/WIP') &&
|
||||
! contains(github.event.pull_request.title, 'WIP') &&
|
||||
! github.event.pull_request.draft
|
||||
run: |
|
||||
curl --request PATCH \
|
||||
--url ${{ github.event.pull_request.issue_url }} \
|
||||
--header 'authorization: token ${{ secrets.GITHUB_TOKEN }}' \
|
||||
--data-raw '{"milestone": '$MILESTONE_NUMBER'}'
|
||||
--data-raw '{"milestone": '$MILESTONE_NUMBER'}'
|
||||
|
||||
Reference in New Issue
Block a user