fixes for scheduler API #133

Merged

muellerr merged 2 commits from scheduler-fixes into main

2024-02-26 11:15:51 +01:00

Author	SHA1	Message	Date
muellerr	a7ca00317f	cargo fmt Rust/sat-rs/pipeline/pr-main This commit looks good Details	2024-02-26 11:00:48 +01:00
muellerr	75fda42f4f	fixed for scheduler Rust/sat-rs/pipeline/head There was a failure building this commit Details	2024-02-26 10:53:33 +01:00