Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for createComment (1.45 sec)

  1. .github/workflows/check-commits.yml

              script: |
                const output = `
                Some bad merge is found:
                \`\`\`
                ${{ env.OUTPUT }}
                \`\`\`
                `;
                github.rest.issues.createComment({
                  issue_number: context.issue.number,
                  owner: context.repo.owner,
                  repo: context.repo.repo,
                  body: output
                })
    Registered: Wed Dec 31 11:36:14 UTC 2025
    - Last Modified: Thu Nov 20 22:15:20 UTC 2025
    - 3K bytes
    - Viewed (0)
  2. scripts/deploy_docs_status.py

            if (
                comment.body.startswith(header)
                and comment.user.login == "github-actions[bot]"
            ):
                comment.edit(message)
                break
        else:
            issue.create_comment(message)
    
        logging.info("Finished")
    
    
    if __name__ == "__main__":
    Registered: Sun Dec 28 07:19:09 UTC 2025
    - Last Modified: Tue Sep 30 05:56:53 UTC 2025
    - 4.4K bytes
    - Viewed (0)
Back to top