Add port for RTEMS #3866
Merged
Add port for RTEMS #3866
Cirrus CI / nightly freebsd-14
succeeded
Sep 13, 2024 in 1m 58s
Task Summary
Task successfully finished!
Details
✅ 00:07 clone
✅ 00:16 setup
✅ 01:33 test
Loading