Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

(WIP) Adding tools to help debugging build failures #45

Closed
wants to merge 5 commits into from

Conversation

trz42
Copy link
Contributor

@trz42 trz42 commented Oct 11, 2022

This PR addresses issue #29. It adds two tools which help in debugging why a software package cannot be built:

  • resubmit.py takes a previous job (working directory) and optionally changes to that job (another directory whose files are copied on top of a freshly obtained PR - the contents of the original job). It creates a new job directory, submits the job and updates the comment corresponding to the original job of the PR. Some minor tweaks on the formatting of PR comments were necessary to make this happen.
  • inspect_pr.py takes the full name of a repository and a PR number and prints some information about the PR. Currently, this shows very limited information (just the base.repo.ref), but could be easily extended. While trivial this tool may be useful to show what information the bot can obtain given a specific repository and PR number.

While functional (it's been used extensively to investigate build issues), this PR is flagged Work-In-Progress because it will benefit from resolving the following issues first (first merging this PR may make some of those issues more complex to resolve):

However, method to derive rerun directory found too complicated. Opting for a simpler method that checks out again the PR into a rerun_XXX directory and copies changes over from some other directory.
Includes changes to event handler (new format for initial PR comment), job manager (finding PR comment), arguments, required dependencies.

Also includes a very basic tool to check contents of a PR (i.e., mimics what information bot could obtain if it would be given a repository name and a PR number).
 into feature/resubmit-tool

Conflicts:
	requirements.txt

Fixed by updating minimum version number for PyGHee.
Procedure was missing the step to checkout the base_ref branch.
@trz42
Copy link
Contributor Author

trz42 commented Dec 2, 2022

PR #85 is redoing most of this PR but taking recent PRs addressing issues #32 and #44 into account.PR #85 also addresses issue #39

Issue #42 is more complex to change and should go into a separate PR.

Hence, this PR is closed.

@trz42 trz42 closed this Dec 2, 2022
@trz42 trz42 deleted the feature/resubmit-tool branch February 24, 2023 19:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants