Skip to content

Update conf.py to add some tags and update the description of some existing tags#238

Merged
felix91gr merged 2 commits into
Safety-Critical-Rust-Consortium:mainfrom
rcseacord:patch-1
Dec 4, 2025
Merged

Update conf.py to add some tags and update the description of some existing tags#238
felix91gr merged 2 commits into
Safety-Critical-Rust-Consortium:mainfrom
rcseacord:patch-1

Commits

Commits on Dec 3, 2025