Build and push random-scheduler image to Dockerhub

Build directors is execution/infrastructure/random-scheduler. As image name I would propose theodolite-random-scheduler. Maybe, the image can also be build within the CI pipeline.

mentioned in merge request !61 (merged)

assigned to @she

assigned to @stu200776 and unassigned @she

assigned to @she and unassigned @stu200776

changed milestone to %0.3.0

added modul/theodolite label

changed milestone to %0.4.0

added To Do label

removed To Do label

added In Progress label

Fixed with 2fb124e5

closed

mentioned in issue #161 (closed)

mentioned in issue #194 (closed)