grass icon indicating copy to clipboard operation
grass copied to clipboard

configure: update to latest config.guess and config.sub

Open github-actions[bot] opened this issue 1 year ago • 6 comments

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

github-actions[bot] avatar Dec 06 '23 10:12 github-actions[bot]

Finally, the Periodic update workflow kicked in right when it should have :).

nilason avatar Dec 06 '23 10:12 nilason

Youppi! (Hurray!)

echoix avatar Dec 06 '23 13:12 echoix

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

nilason avatar Dec 06 '23 23:12 nilason

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.

echoix avatar Dec 06 '23 23:12 echoix

Merged main to see what the checks look like with the configure script changes recently merged.

echoix avatar Dec 22 '23 21:12 echoix

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.

nilason avatar Dec 23 '23 15:12 nilason