Fix AttributeError: NumberLine object has no attribute 'default_numbers_to_display' #22465
Triggered via pull request
August 31, 2025 15:27
pre-commit-ci[bot]
pre-commit-ci[bot]
synchronize
#4414
Status
Success
Total duration
10s
Artifacts
–