From 7f36551236b1974648fc2979cfbea90d0e25ac04 Mon Sep 17 00:00:00 2001 From: Jonathan Neidel Date: Tue, 7 Jul 2026 00:27:25 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=93=9D=20Fix=20info=20box=20in=20docs=20(?= =?UTF-8?q?#7103)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ## Description The info box currently renders like this: image compared to a correctly rendered tip box, e.g. here: image ## Checklist — _Don't delete this checklist and make sure you do the following before opening the PR_ - [x] I have a full understanding of every line in this PR — whether the code was hand-written, AI-generated, copied from external sources or produced by any other tool - [ ] I flagged the impact of my change (minor / patch / major) either by running `pnpm run bump` or by following the instructions from the changeset bot - [x] I kept this PR focused on a single concern and did not bundle unrelated changes - [x] I followed the [gitmoji](https://gitmoji.dev/) specification for the name of the PR, including the package scope (e.g. `🐛(vitest) Something...`) when the change targets a package other than `fast-check` - [ ] I added relevant tests and they would have failed without my PR (when applicable) --- .../docs/tutorials/quick-start/our-first-property-based-test.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/docs/tutorials/quick-start/our-first-property-based-test.md b/website/docs/tutorials/quick-start/our-first-property-based-test.md index 3bc9baa3..75d605b9 100644 --- a/website/docs/tutorials/quick-start/our-first-property-based-test.md +++ b/website/docs/tutorials/quick-start/our-first-property-based-test.md @@ -41,7 +41,7 @@ A property can be expressed as follow: > such that precondition(x, y, ...) holds > predicate(x, y, ...) is true -:::info Property-based tests +:::info You may want to refer to our [Why Property-Based?](/docs/introduction/why-property-based/) section to know more about the benefits and strengths of property-based tests. ::: -- 2.51.2