Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
63 changes: 63 additions & 0 deletions subcommittee/tooling/meetings/2026-04-10/minutes.md
Original file line number Diff line number Diff line change
@@ -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.
Loading