Skip to content

DOCS-3195: Fix highlighting #7901

DOCS-3195: Fix highlighting

DOCS-3195: Fix highlighting #7901

Workflow file for this run

name: PR Test Label Manager
on:
pull_request_target:
branches: [ 'main' ]
types: [ opened ]
jobs:
pr_test_label_manager:
name: PR Test Label Manager
runs-on: ubuntu-latest
if: |
github.event_name == 'pull_request_target' &&
contains(fromJson('["opened", "synchronize", "reopened"]'), github.event.action)
steps:
- name: "Check Membership and Label PR"
uses: actions/github-script@v6
id: check-membership
with:
github-token: ${{ secrets.PR_TOKEN }}
script: |
let prNumber = context.payload.pull_request && context.payload.pull_request.number;
try {
let orgResp = await github.rest.orgs.checkMembershipForUser({org: "viamrobotics", username: context.payload.sender.login});
if (orgResp.status === 204) {
await github.rest.issues.addLabels({owner: "viamrobotics", repo: "docs", issue_number: prNumber, labels: ["safe to build"]});
}
} catch (error) {
console.log("here");
await github.rest.issues.createComment({
issue_number: prNumber,
owner: "viamrobotics",
repo: "docs",
body: '👋 Thanks for contributing! A reviewer will look at it on the next working day!'
})
}