From 0c3a0139e7c41de7eac4831dfe78ab5069911268 Mon Sep 17 00:00:00 2001 From: jpk68 Date: Mon, 4 May 2026 21:00:59 -0400 Subject: [PATCH] docs: remove dead pull requests --- docs/COMPILING_DEBUGGING_TESTING.md | 6 ------ 1 file changed, 6 deletions(-) diff --git a/docs/COMPILING_DEBUGGING_TESTING.md b/docs/COMPILING_DEBUGGING_TESTING.md index 66555fa80..4643ce4d8 100644 --- a/docs/COMPILING_DEBUGGING_TESTING.md +++ b/docs/COMPILING_DEBUGGING_TESTING.md @@ -75,12 +75,6 @@ If everything looks fine, then after setting some breakpoints of your choice, th ### Multihost parallel compilation https://github.com/monero-project/monero/pull/7160 -### Faster core_tests with caching -https://github.com/monero-project/monero/pull/5821 - -### Precompiled headers -https://github.com/monero-project/monero/pull/7216 - ### Unity builds https://github.com/monero-project/monero/pull/7217