Skip to content

resource_manager: add metrics to show resource group configuration (#8478) #3165

resource_manager: add metrics to show resource group configuration (#8478)

resource_manager: add metrics to show resource group configuration (#8478) #3165

Workflow file for this run

name: Add Labels
on:
pull_request_target:
types: [opened, reopened]
jobs:
add_labels:
runs-on: ubuntu-latest
steps:
- uses: actions/github-script@v7
name: Add labels
with:
script: |
function doAddLabels(labels) {
console.log("Adding labels", labels);
return github.issues.addLabels({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
labels: labels,
});
}
async function run() {
const { title } = context.payload.pull_request;
if (title.startsWith("Update TiDB Dashboard to")) {
await doAddLabels(["component/visualization", "require-LGT1"]);
return;
}
console.log("Not matching any label rules, skip");
}
run().catch(e => {
// Do not fail on errors
console.error("Errors: ", e.stack);
})