Skip to content

Update spec.lock to fix CI build#236

Merged
felix91gr merged 1 commit into
Safety-Critical-Rust-Consortium:mainfrom
MarcosBorgesPhD:update-spec-lock
Dec 2, 2025
Merged

Update spec.lock to fix CI build#236
felix91gr merged 1 commit into
Safety-Critical-Rust-Consortium:mainfrom
MarcosBorgesPhD:update-spec-lock

Update spec.lock to fix CI build

bea82ea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.