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.

Sign up for GitHub

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

Jump to bottom

comm.rs out of date #2837

Closed
jesse99 opened this issue Jul 7, 2012 · 1 comment
Closed

comm.rs out of date #2837

jesse99 opened this issue Jul 7, 2012 · 1 comment

Comments

@jesse99
Copy link
Contributor

jesse99 commented Jul 7, 2012

The example at the top of comm.rs should be rewritten using the new closure syntax.
@bblum
Copy link
Contributor

bblum commented Jul 8, 2012

Same with task.rs, which I've already fixed in my uncommitted working copy.

@ghost ghost assigned bblum Jul 8, 2012
@z0w0 z0w0 mentioned this issue Jul 9, 2012
Merged
@bblum bblum closed this as completed Jul 11, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this issue Apr 28, 2023
@bors
Auto merge of rust-lang#2837 - LegNeato:sigrtmin, r=saethlin
93a0575 
Add shim for SIGRTMIN

Fixes rust-lang/miri#2832.
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval
Create workflow Kani Extra for checks that run conditionally on labels (
ecd8957 
rust-lang#2837)

The "Auto Label" workflow correctly label our PRs; however, this action
do not trigger a PR 'labeled' workflow. To automatically do that, we now
changed the CI structure to have a new workflow with extra jobs that are
conditional to labels and files being modified.

This new workflow starts by triggering the auto-label job. The benchmark
workflow is only triggered if after the auto-label job, the PR has a
Z-BenchCI label.

This also means that the benchmark workflow will now run after any
update to a PR that has the 'Z-BenchCI' label.

Resolves rust-lang#2606
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jesse99 @bblum