diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-05-06 19:27:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-06 19:27:40 +0200 |
| commit | ee0d68fcab6d61c2aef9304237a7a8b56362446f (patch) | |
| tree | 55b60ee6675eaa92817e59d82e1dc45f7d1a0b79 /compiler/rustc_pattern_analysis/src/usefulness.rs | |
| parent | 74e5184f9bba00279790c798d5947deaf8eceaaf (diff) | |
| parent | a84a946a3d6fc60f6485cf1d8a47845d3a416117 (diff) | |
| download | rust-ee0d68fcab6d61c2aef9304237a7a8b56362446f.tar.gz rust-ee0d68fcab6d61c2aef9304237a7a8b56362446f.zip | |
Rollup merge of #140703 - Kobzol:post-merge-race-fix, r=marcoieni
Handle PR not found in post-merge workflow Should hopefully fix errors like [these](https://github.com/rust-lang/rust/pull/140561#issuecomment-2854636223). r? `@marcoieni`
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/usefulness.rs')
0 files changed, 0 insertions, 0 deletions