miri: use Bazel target for Miri tests#254

arkjedrz wants to merge 2 commits into

eclipse-score:maineclipse-score/lifecycle:mainfrom

qorix-group:arkjedrz_miri-bazel-targetqorix-group/inc_lifecycle:arkjedrz_miri-bazel-targetCopy head branch name to clipboard