date-check src/tests/minicore.md

This was updated recently.

Also, the annotation was broken, so would not appear in date-check issue.

Author: tshepang

src/tests/minicore.md

@@ -1,6 +1,6 @@
 # `minicore` test auxiliary: using `core` stubs
 
-<!-- date-check Oct 2024 -->
+<!-- date-check: Oct 2025 -->
 
 [`tests/auxiliary/minicore.rs`][`minicore`] is a test auxiliary for ui/codegen/assembly test suites.
 It provides `core` stubs for tests that need to