Skip to content

Conversation

@boegel
Copy link
Member

@boegel boegel commented May 15, 2025

Proper fix for #4869 (way better than the workaround implemented in #4870)

msg = f"Failed to download diff for commit {commit} of {github_account}/{github_repo} "
msg += " (after {max_attempts} attempts)"
raise EasyBuildError(msg, exit_code=EasyBuildExit.FAIL_GITHUB)
error_msg = f"Failed to download diff for {github_account}/{github_repo} PR #{pr}! (HTTP status code: {status})"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

should print the commit here, not the PR

Copy link
Contributor

@smoors smoors left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@smoors smoors merged commit 76e9033 into easybuilders:develop May 16, 2025
46 of 47 checks passed
@boegel boegel deleted the from_pr_commit_github_api branch May 16, 2025 14:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants