[#60]: integrate miri in ci

[xieyuschen]

Allow CI failures for now

Notes for Reviewer

Pre-Review Checklist for the PR Author

1. [x] Add sensible notes for the reviewer
2. [x] PR title is short, expressive and meaningful
3. [x] Relevant issues are linked in the References section
4. [ ] Every source code file has a copyright header with SPDX-License-Identifier: Apache-2.0 OR MIT
5. [ ] Branch follows the naming format (iox2-123-introduce-posix-ipc-example)
6. [ ] Commits messages are according to this guideline
   • [ ] Commit messages have the issue ID ([#123] Add posix ipc example)
   • [ ] Commit author matches Eclipse Contributor Agreement (and ECA is signed)
7. [ ] Tests follow the best practice for testing
8. [ ] Changelog updated in the unreleased section including API breaking changes
9. [ ] Assign PR to reviewer
10. [ ] All checks have passed (except task-list-completed)

Checklist for the PR Reviewer

• [ ] Commits are properly organized and messages are according to the guideline
• [ ] Unit tests have been written for new behavior
• [ ] Public API is documented
• [ ] PR title describes the changes

Post-review Checklist for the PR Author

1. [ ] All open points are addressed and tracked via issues

References

Closes #

[xieyuschen]

closed and reopen to refresh the eca

[elfenpiff]

@xieyuschen, I had my morning tea, and the first thing I saw was this awesome PR! Loved it!

[xieyuschen]

@xieyuschen, I had my morning tea, and the first thing I saw was this awesome PR! Loved it!

cool, i have put it in #421 :)