This script is used during the CI.

It is moved from .devocontainer to docker folder, probably this is not the correct place.