merge integration into main
All checks were successful
lab release / release (push) Successful in 6m49s
sync with integration
All checks were successful
build lab-builder image / build-push (push) Successful in 6s
ci(lab-publish): build under rustc 1.96 (lab + herolib require it)
Some checks failed
lab publish / publish (push) Has been cancelled