grass
grass copied to clipboard
configure: update to latest config.guess and config.sub
This updates config.guess and config.sub to their latest versions. If the two files are deleted in this PR, please check the logs of the workflow here: Workflow run summary
Automated changes by create-pull-request GitHub action
Finally, the Periodic update workflow kicked in right when it should have :).
Youppi! (Hurray!)
The checks weren’t triggered, had to close and re-open. https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#triggering-further-workflow-runs
Yep, it would need a PAT (thus appearing to be made, committed, and run someone else, the one that created the PAT on his account), since GITHUB_TOKEN created the commit.
Or any other change that would be added would trigger it.
I'm searching for other ways, like how could the synchronize event could be manually triggered.
Merged main to see what the checks look like with the configure script changes recently merged.
Is there any objections or real potential breakages that can happen, that wouldn't be caught in before a release candidate? If not, I'll merge this in a close future
Please don't. I left this deliberately unmerged, to be able to test if we can come to some agreement on #3308 . No hurry with this update.