bherbruck a9beb437b3 Boolean property tests: nightly only, and the cases they found as ignored tests (#1650) ...

Pushes to main skip boolean_props (random inputs); the nightly property-tests job runs it. The three shrunk cases are ignored tests with their issues (#1647, #1648, #1649), and proptest's failure file is named outright.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-16 04:35:53 -04:00

..

scripts

Documentation site and CI workflows

2026-10-09 13:25:38 +00:00

src

Boolean property tests: nightly only, and the cases they found as ignored tests (#1650)

2026-10-16 04:35:53 -04:00

theme

docs: link preview cards for the docs site and web app (#457)

2026-10-12 20:45:21 -04:00

.gitignore

Collect application resources for #433 (#833)

2026-10-14 00:49:32 -04:00

book.toml

Rename displayed product to SolidCraft and add header bug reporting

2026-10-11 16:16:48 -04:00