Skip to content
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

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

Merged
merged 1 commit into from
May 2, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented May 1, 2024

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 github-actions bot force-pushed the periodic/update-configure branch from f3e25d4 to 5c249e6 Compare May 1, 2024 10:37
Copy link
Member

@neteler neteler left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tested successfully on Fedora 39

@neteler neteler added this to the 8.4.0 milestone May 1, 2024
@echoix echoix force-pushed the periodic/update-configure branch from 097593d to a51aea8 Compare May 1, 2024 22:33
@echoix
Copy link
Member

echoix commented May 2, 2024

With the CI passing, should we merge?

@wenzeslaus
Copy link
Member

I was puzzled earlier why the CI didn't kick in (though it is a glitch). Anyway, it looks good to me.

@echoix
Copy link
Member

echoix commented May 2, 2024

It's because it was created (pushed) by a GITHUB_TOKEN. So no further workflows are run, partly to not cause an infinite loop. I simply merged main/rebased to trigger a run. You can also push an empty commit, but the merging was available from the GitHub UI. Closing and reopening should do the same too.

@wenzeslaus
Copy link
Member

You can also push an empty commit, but the merging was available from the GitHub UI.

Hm, maybe that was the glitch I experienced. I was looking for the button but didn't find it.

Otherwise, the workflow seems okay.

@echoix
Copy link
Member

echoix commented May 2, 2024

It was because it was already based on the latest commit. So I merged a PR that was ready, then it showed up.

@echoix echoix merged commit 24f49dc into main May 2, 2024
32 checks passed
@echoix echoix deleted the periodic/update-configure branch May 3, 2024 22:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants