Skip to content

Commit

Permalink
Update posts/2025-12-04-project-goals-nov-update.md
Browse files Browse the repository at this point in the history
  • Loading branch information
nikomatsakis authored Dec 16, 2024
1 parent 15ed002 commit 7b320ba
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion posts/2025-12-04-project-goals-nov-update.md
Original file line number Diff line number Diff line change
Expand Up @@ -194,7 +194,7 @@ Rust 2024 has now entered the nightly beta and is expected to stabilize as part
</div>

* Still in the process of determining the cause of the deadlock through local testing and compiler code analysis.
* **Help wanted:** Help test the deadlock code in the [issue list](https://github.com/rust-lang/rust/labels/WG-compiler-parallel) and try to reproduce the issue.
* **Help wanted:** Try to reproduce deadlocks described in the [issue list](https://github.com/rust-lang/rust/labels/WG-compiler-parallel).

<div style="display: flex;" class="mt2 mb3">
<div style="flex: auto;"><a href='https://github.com/rust-lang/rust-project-goals/issues/126'><strong>Survey tools suitability for Std safety verification</strong></a></div>
Expand Down

0 comments on commit 7b320ba

Please sign in to comment.