Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 3 of 3 for Hawaii (0.16 sec)

  1. .github/workflows/issue-on-pr-rollback.yml

            with:
              github-token: ${{secrets.GITHUB_TOKEN}}
              script: |
                const script = require('./.github/workflows/create_issue.js')
    Others
    - Registered: Tue May 07 12:40:20 GMT 2024
    - Last Modified: Tue Sep 12 16:40:29 GMT 2023
    - 1.5K bytes
    - Viewed (0)
  2. .github/workflows/trusted-partners.yml

                const username = context.payload.pull_request.user.login;
                const domain = await script.get_email_domain({github, username});
                switch(domain) {
                case "intel.com":
                  console.log(await script.filter({github, context, domain}));
                  break;
                case "apple.com":
                  console.log(await script.filter({github, context, domain}));
                  break;
                case "nvidia.com":
    Others
    - Registered: Tue May 07 12:40:20 GMT 2024
    - Last Modified: Tue Sep 12 14:49:29 GMT 2023
    - 2.4K bytes
    - Viewed (0)
  3. .github/workflows/trusted_partners.js

      }
    
      const resp_label = await github.rest.issues.addLabels({
        issue_number: context.issue.number,
        owner: context.repo.owner,
        repo: context.repo.repo,
        labels: labels
      });
      if (resp_label.status >= 400) {
        console.log(resp_label);
        throw "Error adding labels to PR";
      }
      if (assignees.length > 0) {
        const resp_assign = await github.rest.issues.addAssignees({
    JavaScript
    - Registered: Tue May 07 12:40:20 GMT 2024
    - Last Modified: Tue Feb 07 13:52:04 GMT 2023
    - 4.5K bytes
    - Viewed (0)
Back to top