- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for workflow (0.32 sec)
-
.github/actions/comment-docs-preview-in-pr/app/main.py
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 = { "Authorization": f"token {settings.input_token.get_secret_value()}" }
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) -
scripts/docs.py
# When running build_all(), that function already removes site_path. # All this is only relevant locally, on GitHub Actions all this is done through # artifacts and multiple workflows, so it doesn't matter if directories are # removed or not. else: dist_path = site_path / lang shutil.rmtree(dist_path, ignore_errors=True) current_dir = os.getcwd()
Python - Registered: Sun May 05 07:19:11 GMT 2024 - Last Modified: Mon Jan 22 19:26:14 GMT 2024 - 10.9K bytes - Viewed (1)