Skip to content

Commit 58ea25c

Browse files
pellicopellico
committed
Added conf call minutes of Tooling subgroup of 24/4/2026
1 parent 7cad901 commit 58ea25c

1 file changed

Lines changed: 105 additions & 0 deletions

File tree

‎subcommittee/tooling/meetings/2026-4-24/minutes.md‎

Lines changed: 105 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,105 @@
1+
# Tooling Subcommittee Meeting on 24 April 2026 @ 4pm GMT
2+
3+
| Search Key | Description |
4+
| :------------ | :------------------- |
5+
| \[todo\] | Action Item |
6+
| \[decision\] | Something decided on |
7+
| \[important\] | Key information |
8+
9+
## Agenda
10+
11+
1. Solicitation of notetaker
12+
2. Review last and last-last time’s meeting minutes
13+
1. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/622](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/622)
14+
2. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/625](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/625)
15+
3. Present new members
16+
4. Tooling Task Force
17+
1. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/632](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/632) ... improves the tooling categories
18+
2. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/630](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/630) ... rearrange sidebar (mostly to not land on the members page first)
19+
3. [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) ... adds Verus to tools list
20+
4. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/606](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/606) ... closing this one as off-topic tool
21+
5. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/608](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/608) ... tool submission from Alex Celeste
22+
5. Rust Project Bridge Task Force
23+
1. Updates from Rust Project [Safety-Critical Rust Roadmap](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html)
24+
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
25+
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
26+
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
27+
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
28+
6. Rust Commercial Network (RCN)
29+
30+
## Check-in area
31+
32+
**Please add your name, and an emoji that describes your day.**
33+
34+
- Oreste Bernardi ☕
35+
- Manuel Hatzl
36+
- Zalán Bálint Lévai 🎉
37+
- Stefan Akatyschew 🫩
38+
- Tony Aiello
39+
- Pete LeVasseur 🏃📆
40+
41+
**Notetaker:**
42+
43+
- Oreste Bernardi
44+
45+
## Housekeeping section
46+
47+
xx
48+
49+
## Tasks
50+
51+
- \[todo\] Pete to follow up with Joel Marcey on potential root cause \-- change of org from rustfoundation to Safety-Critical-Rust-Consortium
52+
- \[todo\] Manuel will check into if the previews of the website are not broad enough to cover instances of updates to .json files etc that now effect the website
53+
- \[todo\] Manuel to check into why the website may currently be broken and not deployed
54+
- \[todo\] Pete to ask Alex Celeste to follow-up on this PR for Perforce tooling: [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/608](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/608)
55+
- \[todo\] Pete to talk with Lori, the Outreach Director of the Rust Foundation, about potential to have some work at the Foundation / some kind of track (RustConf 2026?) about marketing / technical marketing
56+
57+
## Meeting Minutes
58+
59+
- Last meeting minutes has been merged
60+
- No new members
61+
- Tooling task force
62+
- Tool categories PR
63+
- [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/632](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/632) .
64+
- Presented PR tool categories proposal, package manager
65+
- Asked feedback
66+
- **Merge approved**
67+
- Rearrange sidebar PR
68+
- [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/630](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/630) ..
69+
- Asked live preview but it not works.
70+
- Asked feedback
71+
- **Merge approved**
72+
- Add Verus to tool list
73+
- [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)
74+
- Asked feedback
75+
- **Merge approved**
76+
- Closing off-topic tool proposal
77+
- [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/606](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/606)
78+
- Proposed to close it without merge
79+
- **Agreed to close for now**.
80+
- New Tool submission
81+
- [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/608](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/issues/608)
82+
- Discussed if we need to track IEC60880 (Nuclear)
83+
- Proposed to ask for more info about this standard then create PR for the tool.
84+
- Rust Project Bridge Task Force
85+
- Some effort has been spent on Eclipse iceoryx2 (tbd) to catalog some patterns and usage.
86+
- Asked interested people to declare interest in Zulip.
87+
- Initial scope is memory safety not FFI. Maybe in the future.
88+
- This will help to create a safety case.
89+
- Calling for contributors to Clippy Lints
90+
- Stabilization of releases of FLS
91+
- FLS release is and will be refer to last Rust version \-1
92+
- MC/DC
93+
- MC/DC activities are moving forward but slowly.
94+
- Some technical discussion in background.
95+
- Proposed to link “Normative Documentation for Sound unsafe Rust” to FLS instead of Rust Reference.
96+
- In the Rust project there are 2 documents FLS and Rust Reference. The approach is Rust Reference is a leading document and FLS is a lagging document.
97+
- Rust Commercial Network: [https://github.com/Rust-Commercial-Network/rcn](https://github.com/Rust-Commercial-Network/rcn)
98+
- Promote Rust in commercial applications and support networking among companies.
99+
- Asked to review RCN site and give some feedback
100+
- Which is the difference between Rust Society and RCN ?
101+
- The difference is not yet clear to us; it’s still being worked out.
102+
- Proposed to create a group/subcommittee for SW marketing people where to discuss:
103+
- Networking
104+
- Joint promotion
105+
- How to promote Rust in commercial space

0 commit comments

Comments
 (0)