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

1 job for !52 with generate-dataset
in 5 minutes and 54 seconds, using 0.0 compute credits, and was queued for 10 seconds
latest merge request