-
Notifications
You must be signed in to change notification settings - Fork 261
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
test mdlinter change #286
test mdlinter change #286
Conversation
hrmm, looks like its working fine on master, maybe it only fails on PR's from outside the repo? |
Yes. I previously fixed the linter failure by upgrading the linter docker image version (due to a bug related to GCC, #283). However, it is unable to handle #259 since it is in a different repo, and it seems that currently linter is unable to get that (linter pulls this original repo, instead of the repo where the PR resides, and then tries to switch the branch). |
Thanks for fixing that in 283! I'm a bit confused why the correct branch doesn't get checked out, since the github actions checkout should handle going to the fork |
A possibility, which I am totally unsure about, is whether the pull-request parameters are omittable? Since https://github.com/arkworks-rs/algebra/blob/master/.github/workflows/mdlinter.yml#L10 (I am totally using heuristics here.) |
Lets try removing that, and see if it fixes anything |
I have the feeling that we need to merge this in order to test. Merge? |
Yeah, lets merge this, and then check it on the next PR from outside the repo |
Based on my rerunning of https://github.com/arkworks-rs/algebra/runs/2697545270, nope. I will we will revisit this issue when we have more ideas. |
The current idea seems to be this: (1) before docker super-linter, the branch has been switched into an intermediate branch created by GitHub, like And the failure seems to be right there. One possibility: We can fix this by setting |
Thanks for tracing that, lets set that to true then |
Looking into why mdlinter isn't working, making a PR just to get it to run
Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.
Pending
section inCHANGELOG.md
Files changed
in the Github PR explorer