tooling subcommittee notes 2026-05-08

Author: PLeVasseur

subcommittee/tooling/meetings/2026-05-08/minutes.md

@@ -0,0 +1,66 @@
+# Tooling Subcommittee Meeting on 8 May 2026 @ 4pm GMT
+
+| Search Key | Description |
+| :---- | :---- |
+| \[todo\] | Action Item |
+| \[decision\] | Something decided on |
+| \[important\] | Key information |
+
+## Agenda
+
+1. Solicitation of notetaker  
+2. Review last and last-last time’s meeting minutes  
+   1.   
+3. Present new members  
+4. Tooling Task Force  
+   1. mutest-rs [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/646](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/646)  
+   2. Verus [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/629](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/629)  
+   3. Why no preview [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/310](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/310)  
+5. Rust Project Bridge Task Force  
+   1. Updates from Rust Project [Safety-Critical Rust Roadmap](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html)  
+   2. Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal  
+      1. Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116) on Rust Zulip  
+   3. Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal  
+      1. Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60/with/586198564) on Rust Zulip  
+   4. Technical Marketing Track / Sessions
+
+## Check-in area
+
+**Please add your name, and an emoji that describes your day.**
+
+* Oreste Bernardi 🌤️☕  
+* Tiago Manczak  
+* Manuel Hatzl  
+
+ **Notetaker:**
+
+* Alexandru Radovici
+
+## Housekeeping section
+
+Xx
+
+## Tasks
+
+* 
+
+## Meeting Minutes
+
+* Review last and last-last time’s meeting minutes  
+  * Approved / or not  
+* Tooling Task Force  
+  * Discussing PRs sent with tools  
+  * PR preview is not showing anymore **\[todo\]** Alex will contact Joel  
+  * The group voted to merge mutest-rs  
+  * The group voted to merge verus  
+  *   
+* Rust Project Bridge Task Force **postponed for next meeting**  
+  * Pete LeVasseur provides offline updates since he cannot make the meeting time today.  
+  * Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal  
+    * Pete is talking with a Clippy team member about some possible onboarding session(s) for “how to contribute to Clippy effectively”. Might be virtual. We discussed doing it at RustWeek, but everyone interested is likely not there  
+  * Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal  
+    * Andreas Weiss, maintainer of Eclipse iceoryx2, has put together some examples of what these challenges / gray zones of soundness and legality look like: [https://github.com/ekxide/iox2-scrc-examples](https://github.com/ekxide/iox2-scrc-examples)  
+  * Technical Marketing Track / Sessions  
+    * Pete reached out to the Foundation and they have taken this internally to discuss doing some sort of get-together for marketing folks at RustConf 2026, as a potential starting point. If/when Pete hears more, he’ll let you know.  
+      
+