miri: use Bazel target for Miri tests

- Enable Miri for Bazel in repo.
- Add `miri_test` target for HMON.
- Remove unnecessary Miri workflow.
- Fix coverage workflow.
  - Disable Miri for Rust coverage workflow.
  - Disable Rust targets for C++ coverage and vice versa.

Author: arkjedrz

.bazelrc

@@ -48,6 +48,7 @@ build:x86_64-linux --config=toolchain_common
 build:x86_64-linux --platforms=@score_bazel_platforms//:x86_64-linux-gcc_12.2.0-posix
 build:x86_64-linux --extra_toolchains=@score_gcc_x86_64_toolchain//:x86_64-linux-gcc_12.2.0-posix
 build:x86_64-linux --extra_toolchains=@score_toolchains_rust//toolchains/ferrocene:ferrocene_x86_64_unknown_linux_gnu
+build:x86_64-linux --extra_toolchains=@score_toolchains_rust//toolchains/ferrocene:ferrocene_x86_64_unknown_linux_gnu_miri
 build:x86_64-linux --define config=x86_64-linux
 
 # Target configuration for CPU:AArch64|OS:Linux build (do not use it in case of system toolchains!)
@@ -56,6 +57,7 @@ build:arm64-linux --config=toolchain_common
 build:arm64-linux --platforms=@score_bazel_platforms//:aarch64-linux-gcc_12.2.0-posix
 build:arm64-linux --extra_toolchains=@score_gcc_aarch64_toolchain//:aarch64-linux-gcc_12.2.0-posix
 build:arm64-linux --extra_toolchains=@score_toolchains_rust//toolchains/ferrocene:ferrocene_aarch64_unknown_linux_gnu
+build:arm64-linux --extra_toolchains=@score_toolchains_rust//toolchains/ferrocene:ferrocene_aarch64_unknown_linux_gnu_miri
 build:arm64-linux --copt=-mno-outline-atomics
 build:arm64-linux --linkopt=-latomic
 

.github/workflows/code_coverage.yml

@@ -28,15 +28,15 @@ jobs:
     with:
       bazel-target: "//score/..."
       bazel-config: "x86_64-linux"
-      extra-bazel-flags: "--test_output=errors --nocache_test_results --lockfile_mode=error"
+      extra-bazel-flags: "--test_output=errors --nocache_test_results --lockfile_mode=error --test_lang_filters=-rust,-miri"
       artifact-name-suffix: "_cpp"
       retention-days: 10
       min-coverage: 76
   rust:
     uses: eclipse-score/cicd-workflows/.github/workflows/rust-coverage.yml@c1c90b1a82a1fab0fc202979dde6686b2162d5a8 # v0.0.0
     with:
       bazel-test-targets: "//score/..."
-      bazel-test-config-flags: "--config=x86_64-linux --config=ferrocene-coverage --lockfile_mode=error"
+      bazel-test-config-flags: "--config=x86_64-linux --config=ferrocene-coverage --lockfile_mode=error --test_lang_filters=-cc,-miri"
       bazel-test-args: "--test_output=errors --nocache_test_results"
       coverage-target: "//:rust_coverage"
       coverage-artifact-name: "rust-coverage-html"

.github/workflows/miri.yml

@@ -11,7 +11,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
 
-load("@rules_rust//rust:defs.bzl", "rust_library", "rust_static_library", "rust_test")
+load("@rules_rust//rust:defs.bzl", "miri_test", "rust_library", "rust_static_library", "rust_test")
 
 COMMON_RUST_DEPS = [
     "@score_baselibs_rust//src/containers:containers",
@@ -103,3 +103,18 @@ rust_test(
         "@score_crates//:loom",
     ],
 )
+
+miri_test(
+    name = "miri_tests",
+    crate = ":tests",
+    miri_flags = [
+        "-Zmiri-ignore-leaks",
+        "-Zmiri-disable-isolation",
+        '--cfg=feature="stub_supervisor_api_client"',
+    ],
+    tags = [
+        "miri",
+        "no-asan",
+    ],
+    target_compatible_with = ["@platforms//os:linux"],
+)