CodeQL

Fix AttributeError: NumberLine object has no attribute 'default_numbers_to_display' #4048

Sign in to view logs

Triggered via pull request August 31, 2025 15:27

opened #4414

SHARANcanCODE:fix-issue-4244-numberline-default-numbers

Status Success

Total duration 1m 40s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze