-
Notifications
You must be signed in to change notification settings - Fork 4
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
interface to re-fetch logs for some specific PR #162
Comments
|
rright -- commit is associated with a PR. So in principle I could request |
@yarikoptic Why would/should the output path be given on the command line? Wouldn't it make more sense for it to be determined according to the config file as though it were being fetched as part of a normal tinuous run? |
the same commit , oddly enough, could be present in multiple PRs. But ok -- could be without path specified. |
I keep running into use cases where I am thinking about having such a feature. |
@yarikoptic I've figured out how to get workflow runs for a given commit via the GitHub REST API, but Pygithub doesn't currently support this. I may have to completely replace our use of Pygithub with a custom client in the style of #164. |
in attempt to troubleshoot datalad/datalad#7296 I thought to compare logs between to CI runs on that PR, for which we should have had logs on smaug a264136 and 2340b4c, for which we have
placing the oddity of 1 fastest github run getting into 22nd aside
what is most upsetting is that we have only few of non-interesting logs for the other one:
AFAIK we do not have logs for those tinuous runs anywhere so can't tell why that happened (may be the idea of #154 would still have value). So I thought that may be there is a way to have a command to (re)fetch logs for some specific PR/commit? @jwodder -- would that be possible?
The text was updated successfully, but these errors were encountered: