Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[0.2] Backports #4012

Merged
merged 6 commits into from
Nov 7, 2024
Merged

[0.2] Backports #4012

merged 6 commits into from
Nov 7, 2024

Conversation

tgross35
Copy link
Contributor

@tgross35 tgross35 commented Nov 7, 2024

(backport <rust-lang#3891>)
(cherry picked from commit bba2395)
@rustbot
Copy link
Collaborator

rustbot commented Nov 7, 2024

r? @JohnTitor

rustbot has assigned @JohnTitor.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

(backport <rust-lang#3891>)
(cherry picked from commit 7294016)
@tgross35 tgross35 force-pushed the backport-ci-updates branch from 493be18 to 04b3b07 Compare November 7, 2024 01:41
@tgross35 tgross35 enabled auto-merge November 7, 2024 01:48
@tgross35 tgross35 force-pushed the backport-ci-updates branch from e9a020a to ca620bc Compare November 7, 2024 01:54
Since [1], the `wasm32-wasi` target is no longer supported (replaced by
`wasm32-wasip1` and `wasm32-wasip2`). This has made it into the latest
nightly, so remove it from our testing.

[1]: rust-lang/rust#132562

(backport <rust-lang#4013>)
(cherry picked from commit a4d3ca8)
@tgross35 tgross35 added this pull request to the merge queue Nov 7, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 7, 2024
@tgross35 tgross35 added this pull request to the merge queue Nov 7, 2024
Merged via the queue into rust-lang:libc-0.2 with commit 7084470 Nov 7, 2024
54 checks passed
@tgross35 tgross35 deleted the backport-ci-updates branch November 7, 2024 04:06
AkhilTThomas pushed a commit to AkhilTThomas/libc that referenced this pull request Feb 5, 2025
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants