fix default session name to __DEFAULT__

5 jobs for 968-scan-data-and-default-session-name in 40 minutes and 19 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Style
passed #47642
check_style

00:00:19

 
  Tests
passed #47653
run_tests:source

00:37:38

34.0%
failed #47643
run_tests:source

00:36:12

34.0%
 
  Build
passed #47644
create_doc:reference

00:02:22

passed #47645
create_doc:user

00:01:59