Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for emit (0.12 sec)

  1. .github/actions/people/app/main.py

        if (
            people_old_content == new_people_content
            and github_sponsors_old_content == new_github_sponsors_content
        ):
            logging.info("The FastAPI People data hasn't changed, finishing.")
            sys.exit(0)
        people_path.write_text(new_people_content, encoding="utf-8")
        github_sponsors_path.write_text(new_github_sponsors_content, encoding="utf-8")
        logging.info("Setting up GitHub Actions git user")
    Python
    - Registered: Sun May 05 07:19:11 GMT 2024
    - Last Modified: Tue Mar 26 17:38:21 GMT 2024
    - 19.2K bytes
    - Viewed (1)
  2. .github/actions/comment-docs-preview-in-pr/app/main.py

            logging.error(f"Error parsing event file: {e.errors()}")
            sys.exit(0)
        use_pr: Union[PullRequest, None] = None
        for pr in repo.get_pulls():
            if pr.head.sha == event.workflow_run.head_commit.id:
                use_pr = pr
                break
        if not use_pr:
            logging.error(f"No PR found for hash: {event.workflow_run.head_commit.id}")
            sys.exit(0)
        github_headers = {
    Python
    - Registered: Sun May 05 07:19:11 GMT 2024
    - Last Modified: Tue Jan 09 15:02:53 GMT 2024
    - 2.1K bytes
    - Viewed (0)
Back to top