Skip to content

Merge pull request #155 from notatallshaw/skip-backjumping-when-name-… #193

Merge pull request #155 from notatallshaw/skip-backjumping-when-name-…

Merge pull request #155 from notatallshaw/skip-backjumping-when-name-… #193

Test (3.11)

succeeded Jul 30, 2024 in 20s