New pull request
merge integration into main
All checks were successful
lab release / release (push) Successful in 6m49s
#322 by mahmoud was merged 2026-06-11 10:49:31 +00:00
sync with integration
All checks were successful
build lab-builder image / build-push (push) Successful in 6s
#320 by omarz was merged 2026-06-10 12:46:33 +00:00
#319 by omarz was merged 2026-06-10 11:41:06 +00:00
ci(lab-publish): build under rustc 1.96 (lab + herolib require it)
Some checks failed
lab publish / publish (push) Has been cancelled
#314 by sameh-farouk was closed 2026-06-04 18:45:48 +00:00