
11 Oct
2021
11 Oct
'21
4:27 p.m.
Speaking for myself: I have not validated locally for quite a while. I just rely on CI.
I've confirmed that a fresh checkout doesn't validate. Is anyone else willing to try? If it's a problem that only I have, I'm reluctant to open an issue.
You can mark an MR as a "Draft" to avoid triggering a review.
How is it so marked? Put the word "Draft" in the title?
Instead of validating locally, I tend to just run the testsuite on the built GHC.
I'll give that a try, thanks. N