ci-check #81

Merged

muellerr merged 3 commits from ci-check into main

2023-09-26 18:02:43 +02:00

Author	SHA1	Message	Date
Robin Mueller	e7e243d0c1	bump release checklist again Some checks are pending Rust/sat-rs/pipeline/pr-main Build started... Details	2023-09-26 18:02:11 +02:00
Robin Mueller	6a0396a337	small tweak for release checklist All checks were successful Rust/sat-rs/pipeline/pr-main This commit looks good Details	2023-09-26 17:36:32 +02:00
Robin Mueller	41145f89aa	ci-check Some checks are pending Rust/sat-rs/pipeline/head Build started... Details	2023-09-26 17:35:30 +02:00