miri: use Bazel target for Miri tests

- Enable Miri for Bazel in repo.
- Add `miri_test` target for HMON.
- Update dev deps.
- Remove unnecessary Miri workflow.
- Disable Miri tests for coverage workflow.

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!)

.github/workflows/code_coverage.yml

@@ -36,7 +36,7 @@ jobs:
     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_tag_filters=-miri"
       bazel-test-args: "--test_output=errors --nocache_test_results"
       coverage-target: "//:rust_coverage"
       coverage-artifact-name: "rust-coverage-html"

.github/workflows/miri.yml

@@ -19,7 +19,7 @@ module(
 bazel_dep(name = "bazel_skylib", version = "1.9.0")
 bazel_dep(name = "rules_pkg", version = "1.1.0")
 bazel_dep(name = "rules_python", version = "1.8.5")
-bazel_dep(name = "rules_rust", version = "0.68.1-score")
+bazel_dep(name = "rules_rust", version = "0.68.2-score")
 bazel_dep(name = "rules_cc", version = "0.2.17")
 bazel_dep(name = "rules_oci", version = "2.3.0")
 bazel_dep(name = "aspect_rules_lint", version = "2.0.0")
@@ -82,7 +82,7 @@ use_repo(
 )
 
 ## Rust Toolchain
-bazel_dep(name = "score_toolchains_rust", version = "0.8.0", dev_dependency = True)
+bazel_dep(name = "score_toolchains_rust", version = "0.9.1", dev_dependency = True)
 
 # S-CORE crates
 bazel_dep(name = "score_crates", version = "0.0.9")

MODULE.bazel

@@ -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,21 @@ 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",
+        "@platforms//cpu:x86_64",
+    ],
+)