chore: update spec.lock file - 2025-11-22#230

PLeVasseur merged 1 commit into

Safety-Critical-Rust-Consortium:mainSafety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines:mainfrom

PLeVasseur:chore/update-spec-lock-2025-11-22PLeVasseur/safety-critical-rust-coding-guidelines:chore/update-spec-lock-2025-11-22Copy head branch name to clipboard