ci: do not collect coverage from pull request any more (#5364)

* ci: do not collect coverage from pull request any more * fix: disable toolchain cache
2026-06-03 05:40:40 +00:00 · 2025-01-15 17:33:49 +08:00
parent 0185a65905
commit 121ec7936f
4 changed files with 61 additions and 13 deletions
--- a/shell.nix
+++ b/shell.nix
@@ -11,11 +11,13 @@ pkgs.mkShell rec {
    clang
    gcc
    protobuf
+    gnumake
    mold
    (fenix.fromToolchainFile {
      dir = ./.;
    })
    cargo-nextest
+    cargo-llvm-cov
    taplo
    curl
  ];