Merge branch 'feature-search' of gitlab.fi.muni.cz:xkastovs/dumpster-fire into feature-search

1 job for !38 with feature-search
in 6 minutes and 22 seconds, using 0.0 compute credits, and was queued for 6 seconds
latest merge request