diff options
| author | Jorge Aparicio <jorge.aparicio@ferrous-systems.com> | 2021-07-22 10:35:09 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge.aparicio@ferrous-systems.com> | 2021-07-22 10:35:09 +0200 |
| commit | 3eac8b91cfd37c27e75da5c7e21e394d10f97adf (patch) | |
| tree | 7ce51ec93f9592bd53f8588e59f1b2b2c3678b19 /.github/workflows/properties/build.properties.json | |
| parent | c62fd967d77ccf72c08ea720c21777e367ab4125 (diff) | |
book/resources: highlight that `#[lock_free]` includes a compile-time check
for the "same priority requirement"; this prevents data races
Diffstat (limited to '.github/workflows/properties/build.properties.json')
0 files changed, 0 insertions, 0 deletions