From 2ffec87b0e53ea2bc6b25f9e9fe0930e4c5e2557 Mon Sep 17 00:00:00 2001 From: Arpad Borsos Date: Sat, 15 Feb 2025 12:02:01 +0100 Subject: [PATCH] Add "a collection of copy-pastable GitHub Actions Workflows" --- draft/2025-02-19-this-week-in-rust.md | 1 + 1 file changed, 1 insertion(+) diff --git a/draft/2025-02-19-this-week-in-rust.md b/draft/2025-02-19-this-week-in-rust.md index 3c82d8be3..49c69c69c 100644 --- a/draft/2025-02-19-this-week-in-rust.md +++ b/draft/2025-02-19-this-week-in-rust.md @@ -38,6 +38,7 @@ and just ask the editors to select the category. ### Project/Tooling Updates - [Towards Practical Formal Verification for a General-Purpose OS in Rust](https://asterinas.github.io/2025/02/13/towards-practical-formal-verification-for-a-general-purpose-os-in-rust.html) +- [A collection of copy-pastable GitHub Actions Workflows](https://github.com/Swatinem/rust-gha-workflows) ### Observations/Thoughts