diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-07-22 10:51:16 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-22 10:51:16 +0000 |
| commit | adb4bc4c4ea85b12a6d7f75821e76ee33a9a8e70 (patch) | |
| tree | 6a537ceca031f62280f022db0bd4577f1efd5d9c /ci/expected/task.run | |
| parent | b6e8e37c3c543bebaec17a77760396c1e30afcdf (diff) | |
| parent | 3eac8b91cfd37c27e75da5c7e21e394d10f97adf (diff) | |
Merge #502
502: book/resources: highlight that `#[lock_free]` includes a compile-time check r=AfoHT a=japaric
for the "same priority requirement"; this prevents data races
Co-authored-by: Jorge Aparicio <jorge.aparicio@ferrous-systems.com>
Diffstat (limited to 'ci/expected/task.run')
0 files changed, 0 insertions, 0 deletions