Merge branch '208-xdist-handles-ctrl-c-keyboard-interrupt-poorly' into 'main'
Resolve "xdist handles Ctrl-C (keyboard interrupt) poorly" See merge request !262
Loading
WARNING! Gitlab maintenance operation scheduled for Saturday, 27 September 2025, from 07:00 AM to 4:00 PM GMT (09:00 AM to 6:00 PM CEST)
Resolve "xdist handles Ctrl-C (keyboard interrupt) poorly" See merge request !262