Frank Kuehndel commented: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/279#note_113962 I re-run our Rust-RTEMS CI pipeline on this merge request and it succeeded. * RTEMS: `15e4f9b14cf03288aa8d428b1ffaf3dd407f68f0` * RSB: `78680c889c2458f26170fe6e4a05c37791aacc87` Thank you @gedare for searching and fixing issue #5139. -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/279#note_113962 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
