Add distribution facet for filter

9 jobs for 518-filter-for-distributions in 6 minutes and 1 second (queued for 4 seconds)
Status Name Job ID Coverage
  Maintenance
manual Get dump for local environment #105693
allowed to fail manual
 
  Test
passed test:mutation #105697

00:02:49

passed test:php #105695

00:01:41

passed test:typoscript #105694

00:01:45

passed test:unit #105696

00:03:28

14.12%
 
  Build
passed build #105698

00:00:36

 
  Layout
passed layout #105699

00:01:18

 
  Badges
passed Create Badge #105700

00:00:29

passed mutation:badge #105701

00:00:35