Fix lint issue and improve lint CI configuration
This MR fixes a lint issue highlighted by flake8, then patches the CI configuration for that job to not fail on lint issues; we instead rely on the MR UI Code Quality widget.
This MR fixes a lint issue highlighted by flake8, then patches the CI configuration for that job to not fail on lint issues; we instead rely on the MR UI Code Quality widget.