fkirill 2c924fd385 Sweep: close circular tools before cutting a torus (#2005) (#2010) ...

Thanks @fkirill.

2026-10-17 12:46:21 -04:00

..

src

Sweep: close circular tools before cutting a torus (#2005) (#2010)

2026-10-17 12:46:21 -04:00

tests

test: save the proptest seed for the grid union face that does not mesh (#1813)

2026-10-17 06:23:17 -04:00

Cargo.toml

Per-command timings for script runs and batches (#1868)

2026-10-17 07:26:20 -04:00