Merge branch 'main' into patch-1

This commit is contained in:
Tom Parker-Shemilt 2024-05-18 08:12:47 +01:00 committed by GitHub
commit 01d68f18db
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -489,6 +489,7 @@ See also [A comparison of operating systems written in Rust](https://github.com/
### Task scheduling
* [delicate](https://github.com/BinChengZhao/delicate) — A lightweight and distributed task scheduling platform. [![Build Status](https://github.com/BinChengZhao/delicate/workflows/CI/badge.svg)](https://github.com/BinChengZhao/delicate/actions)
* [tasklet](https://github.com/stav121/tasklet) [[tasklet](https://crates.io/crates/tasklet)] - A task scheduling library written in Rust ![Build Status](https://img.shields.io/github/actions/workflow/status/stav121/tasklet/rust.yml)
### Text editors