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

Minor github actions updates #382

Merged
merged 3 commits into from
Jan 16, 2024
Merged

Minor github actions updates #382

merged 3 commits into from
Jan 16, 2024

Conversation

ctz
Copy link
Member

@ctz ctz commented Jan 12, 2024

I've been stealing some of this config -- these are changes I made "downstream".

@cpu
Copy link
Member

cpu commented Jan 12, 2024

The Windows task failures are the same issue resolved by #379

@ctz Maybe you could stamp that so we could merge it?

Copy link
Member

@cpu cpu left a comment

Choose a reason for hiding this comment

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

Thanks 👍

@jsha
Copy link
Collaborator

jsha commented Jan 12, 2024 via email

@cpu
Copy link
Member

cpu commented Jan 16, 2024

That said I don't feel super strongly about it and am happy to prioritize consistency within the rustls org.

👍 Seems reasonable to use ubuntu-latest then.

@ctz Do you want to rebase this on main to pick up the Windows build fix? I can fix up the names of the branch protection rules after this lands.

@cpu cpu mentioned this pull request Jan 16, 2024
This complains:

> warning: initializer for `thread_local` value can be made `const`

But doing the suggested fix breaks the build on our MSRV, with:

> warning: a `const` item should never be interior mutable

So we can't really win.
@cpu cpu merged commit 1a76874 into main Jan 16, 2024
42 checks passed
@cpu cpu deleted the jbp-gh-actions-rev branch January 16, 2024 16:01
@cpu
Copy link
Member

cpu commented Jan 16, 2024

I can fix up the names of the branch protection rules after this lands.

Done

@ctz
Copy link
Member Author

ctz commented Jan 16, 2024

Thanks! 👍🏽

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.

None yet

3 participants