diff --git a/subcommittee/tooling/meetings/2026-04-10/minutes.md b/subcommittee/tooling/meetings/2026-04-10/minutes.md new file mode 100644 index 00000000..8c64615f --- /dev/null +++ b/subcommittee/tooling/meetings/2026-04-10/minutes.md @@ -0,0 +1,63 @@ +# Tooling Subcommittee Meeting on 10 April 2026 @ 4pm GMT + +| Search Key | Description | +| :---- | :---- | +| \[todo\] | Action Item | +| \[decision\] | Something decided on | +| \[important\] | Key information | + +## Agenda + +1. Solicitation of notetaker +2. Review last time’s meeting minutes [https://github.com/rustfoundation/safety-critical-rust-consortium/pull/622](https://github.com/rustfoundation/safety-critical-rust-consortium/pull/622) +3. Present new members +4. Merge tools list [https://github.com/rustfoundation/safety-critical-rust-consortium/pull/578](https://github.com/rustfoundation/safety-critical-rust-consortium/pull/578) +5. [Safety-Critical Rust roadmap](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html) (Rust Bridge Task Force) + 1. Interest in contributing to them? + 2. In particular: [https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) is relatively well-scoped. Seems possible to contribute one or two lints here or there + 3. Announce interest in this Zulip thread: [\#safety-critical-consortium \> Getting involved with Clippy for SCRC lints](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116) + +## Check-in area + +**Please add your name, and an emoji that describes your day.** + +* Alexandru Radovici 🙂 +* Tony Aiello +* Arnaud Fontaine 🙂 +* Zalán Bálint Lévai 🙂 +* Manuel Hatzl +* Xander Cesari 🌧️ +* Oreste Bernardi 🏥 +* Pete LeVasseur 🐇 +* Tiago Manczak + + **Notetaker:** + +* Oreste Bernardi + +## Housekeeping section + +## Tasks + +* \[todo\] Pete will go back to Clippy team to discuss with them about having some active mentorship like video calls to onboard us. + * Zalan and Alexandru expressed willingness to support this activity + * Please provide interest here: [https://rust-lang.zulipchat.com/\#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116) +* Alexandru shall create a pull request to add link to coding guidelines in the website (https://arewesafetycriticalyet.org/). + +## Meeting Minutes + +* Merge tools list: [https://github.com/rustfoundation/safety-critical-rust-consortium/pull/578](https://github.com/rustfoundation/safety-critical-rust-consortium/pull/578) + * Fast review of rendered page. → appreciated the content and layout. + * Merged \!\!\!\! 🥳 +* Safety-Critical Rust roadmap + * Clippy lints is starting to overlap more with coding guidelines. + * Started conversation with clippy team last year. + * \~ 10 coding guidelines candidates for clippy + * Everyone doesn't want a new tool but prefers to stick with clippy. + * Collaboration with clippy team will be mostly async. + * There is a Zulip thread to discuss with Clippy team. + * Open source approach to tool that check coding guidelines is appreciated. +* Coding guidelines + * It needs more clarity about the status of single coding guidelines. + * Described the activities of contributors to coding guidelines. +* Big appreciation for Tiago and Manuel for the pages about tools.