Skip to content

📝 Fix info box in docs#7103

Merged
dubzzz merged 1 commit into
dubzzz:mainfrom
jneidel:patch-1
Jul 6, 2026
Merged

📝 Fix info box in docs#7103
dubzzz merged 1 commit into
dubzzz:mainfrom
jneidel:patch-1

Conversation

@jneidel

@jneidel jneidel commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

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

  • 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
  • I kept this PR focused on a single concern and did not bundle unrelated changes
  • I followed the gitmoji 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)

@jneidel
jneidel requested a review from dubzzz as a code owner July 2, 2026 11:30
@changeset-bot

changeset-bot Bot commented Jul 2, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: 7431fc2

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@dubzzz

dubzzz commented Jul 6, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Thanks a lot for the contribution

@dubzzz
dubzzz enabled auto-merge (squash) July 6, 2026 22:01
@pkg-pr-new

pkg-pr-new Bot commented Jul 6, 2026

Copy link
Copy Markdown
@fast-check/ava

npm i https://pkg.pr.new/@fast-check/ava@7103

fast-check

npm i https://pkg.pr.new/fast-check@7103

@fast-check/jest

npm i https://pkg.pr.new/@fast-check/jest@7103

@fast-check/packaged

npm i https://pkg.pr.new/@fast-check/packaged@7103

@fast-check/poisoning

npm i https://pkg.pr.new/@fast-check/poisoning@7103

@fast-check/vitest

npm i https://pkg.pr.new/@fast-check/vitest@7103

@fast-check/worker

npm i https://pkg.pr.new/@fast-check/worker@7103

commit: 7431fc2

@codecov

codecov Bot commented Jul 6, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 94.89%. Comparing base (e0a2410) to head (7431fc2).
⚠️ Report is 8 commits behind head on main.

Additional details and impacted files 
@@           Coverage Diff           @@
##             main    #7103   +/-   ##
=======================================
  Coverage   94.89%   94.89%           
=======================================
  Files         212      212           
  Lines        5951     5951           
  Branches     1564     1565    +1     
=======================================
  Hits         5647     5647           
  Misses        296      296           
  Partials        8        8
Flag Coverage Δ
tests 94.89% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@dubzzz
dubzzz merged commit 7f36551 into dubzzz:main Jul 6, 2026
54 of 55 checks passed
@jneidel
jneidel deleted the patch-1 branch July 6, 2026 23:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dubzzz dubzzz dubzzz approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jneidel @dubzzz