diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-11-12 16:28:26 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-11-12 16:28:26 +0100 |
| commit | baeb59b5b8d63ef9bb6ecada518ea8b911d2dc30 (patch) | |
| tree | a27e2f99887c06f0c2279d385acbdebbe704a5c8 /.github/ci | |
| parent | c66f83db702e95e010b944cdf1b0f4a9dfe771df (diff) | |
executor: use WakerHack unconditionally even if `nightly` feature is enabled. (#3528)
This ensures the executor compiles with all recent nightly versions,
including the stable-but-with-nightly-features-enabled xtensa rustc.
Diffstat (limited to '.github/ci')
0 files changed, 0 insertions, 0 deletions