Skip to content

[tooling] meeting notes 7 February 2025#176

Merged
PLeVasseur merged 1 commit into
Safety-Critical-Rust-Consortium:mainfrom
OxidosAutomotive:tooling_07.02_minutes
Mar 4, 2025
Merged

[tooling] meeting notes 7 February 2025#176
PLeVasseur merged 1 commit into
Safety-Critical-Rust-Consortium:mainfrom
OxidosAutomotive:tooling_07.02_minutes

Conversation

@alexandruradovici

Copy link
Copy Markdown
Collaborator

This pull request adds the meeting notes for the 7th February meeting. The output table that we have decide upon is not available in a different pull request #175.

@PLeVasseur PLeVasseur added the tooling Related to work in the Tooling Subcommittee label Feb 13, 2025

## Next Meeting

At Rust Nation - 19.02.2025

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Did the tooling team actually meet at Rust Nation? Or are you just saying members of the tooling committee will be at the full consortium meeting?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We were supposed to meet, but we never did the breakouts. I think it is safe to say we did meet.

@PLeVasseur

Copy link
Copy Markdown
Collaborator

This one safe too @alexandruradovici?

@alexandruradovici

Copy link
Copy Markdown
Collaborator Author

Yes.

@PLeVasseur
PLeVasseur merged commit 9dec11a into Safety-Critical-Rust-Consortium:main Mar 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

tooling Related to work in the Tooling Subcommittee

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants