gh-109408: Run patchcheck in GitHub Actions#109459
Conversation
|
Finally! :) |
Sorry, something went wrong.
|
@sobolevn -- if you want to keep Two changes are needed to
It may be worth considering using the A |
Sorry, something went wrong.
|
@AA-Turner I am not quite comfortable refactoring code that I don't quite understand :) Later we can change the tooling to be more convenient / faster, but for now I would like to stick with my solution. |
Sorry, something went wrong.
|
In the end I'd like to remove or replace as much of patchcheck with equivalents that we do understand, like pre-commit or Ruff linting. But this is a good first step. |
Sorry, something went wrong.
|
I agree 100%, that what I was thinking about all the way :) |
Sorry, something went wrong.
This approach takes 22s, including fetching source and installing a prebuilt Python. This PR piggy backs on 'Check if generated files are up to date' to take advantage of a local Python build, but is +1m 48s, mostly fetching source.
Could be nice to refactor |
Sorry, something went wrong.
|
@hugovk I propose we merge this as-is for now, because Later we can:
|
Sorry, something went wrong.
|
A slightly different approach would be AA-Turner@5ad4faf, which avoids all of the Git chicanery and just runs patchcheck on all files in the source tree. This seems to take ~20s (ex1, ex2). A |
Sorry, something went wrong.
~30s for the whole thing, but that's not too bad and I think I prefer this approach -- we also run on all files for pre-commit on the CI. |
Sorry, something went wrong.
|
Yeap, all files is also fine by me (since they are all correct anyway). I will rework @AA-Turner's script to make it possible to run on Windows as well, because it might be useful for local testing. Thanks! |
Sorry, something went wrong.
I developed it on Windows--though I normalised all paths to forward-slash, for simplicity. A |
Sorry, something went wrong.
Sorry, something went wrong.

Continuing your idea in #109408 (comment)
Refs #109452