Finer definition of `act` to detect race conditions

[Code][Diff]

Features

• (PR#3889) Add ability to customize act per call
• (PR#3890) Add ability to customize act per wait

Fixes

• (PR#3892) Bug: Cap timeout values to 0x7fff_ffff

Ensure scheduled models can wait everything needed

[Code][Diff]

Fixes

• (PR#3887) Bug: Always schedule models until the end
• (PR#3880) CI: Stabilize tests on jsonValue
• (PR#3876) Clean: Drop legacy documentation
• (PR#3875) Doc: First blog post on docusaurus switch

Rework documentation

[Code][Diff]

Fixes

• (PR#3780) CI: Do not relaunch build on new tag
• (PR#3792) CI: Remove parse5 when checking types
• (PR#3804) CI: Build documentation with LFS enabled
• (PR#3800) Doc: Add "advanced" part of the documentation
• (PR#3803) Doc: Update our-first-property-based-test.md: typo, punctuation
• (PR#3828) Doc: Fix typos in docs
• (PR#3820) Doc: First iteration on race conditions tutorial
• (PR#3834) Doc: Rework intro of race condition tutorial
• (PR#3836) Doc: Merge category and intro for race condition
• (PR#3837) Doc: Replace categories by real pages
• (PR#3838) Doc: Add video explaining race condition in UI
• (PR#3842) Doc: Note about solving race conditions
• (PR#3843) Doc: Better colors for dark theme
• (PR#3850) Doc: Points to projects in our ecosystem
• (PR#3852) Doc: List some bugs found thanks to fast-check
• (PR#3860) Doc: Use GitHub logo instead of label
• (PR#3858) Doc: Rework homepage page of fast-check.dev
• (PR#3863) Doc: Rework display of the homepage for small screens
• (PR#3864) Doc: Properly display the quick nav buttons
• (PR#3871) Doc: Update all links to new documentation
• (PR#3867) Doc: Create proper images in website/
• (PR#3872) Doc: Reference image from LFS in README
• (PR#3835) Test: Add tests for snippets in the website

Add logo on the README

[Code][Diff]

Fixes

• (PR#3870) Doc: Add worker logo url

Update URL of the logo

[Code][Diff]

Fixes

• (PR#3869) Doc: Update logo url

Add logo on the README

[Code][Diff]

Fixes

• (PR#3873) Doc: Add poisoning logo url

Update URL of the logo

[Code][Diff]

Fixes

• (PR#3868) Doc: Update logo url

Update URL of the logo

[Code][Diff]

Fixes

• (PR#3866) Doc: Update logo url

New website for the documentation

[Code][Diff]

Fixes

• (PR#3723) CI: Switch to docusaurus for the documentation
• (PR#3729) CI: Pre-setup devcontainer with GH Actions
• (PR#3728) CI: Change gh-pages deploy process
• (PR#3732) CI: Move back to github-pages-deploy-action
• (PR#3735) CI: Add gtag for analytics
• (PR#3744) CI: Drop website build on build:all
• (PR#3751) CI: Update baseUrl on the ain documentation
• (PR#3754) CI: Drop version from website
• (PR#3754) CI: Drop version from website
• (PR#3759) CI: Drop the need for a branch on doc
• (PR#3775) CI: Publish all packages in one workflow
• (PR#3724) Doc: Add fuzz keywords
• (PR#3734) Doc: Add search capability to the doc
• (PR#3738) Doc: Fix broken links to api-reference
• (PR#3745) Doc: Document core building blocks in new documentation
• (PR#3750) Doc: More details into tips/larger-entries...
• (PR#3753) Doc: Add some more configuration tips in the documentation
• (PR#3755) Doc: Update all links to target fast-check.dev
• (PR#3757) Doc: Quick a11y pass on the documentation
• (PR#3758) Doc: Move missing configuration parts to new doc
• (PR#3760) Doc: Link directly to the target page not to 30x ones
• (PR#3761) Doc: Fix broken links in new doc
• (PR#3774) Security: Attach provenance to the packages
• (PR#3719) Script: Ensure proper package definition

Attach provenance to the packages

[Code][Diff]

Fixes

• (PR#3774) Security: Attach provenance to the packages