Update spec.lock to fix CI build#236

felix91gr merged 1 commit into

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

MarcosBorgesPhD:update-spec-lockCopy head branch name to clipboard