Resolve "Fix V and V Result tab and Model Checking preferences settings"
requested to merge 2-fix-v-and-v-result-tab-and-model-checking-preferences-settings-timeout into master
We have run out of registry space. Please set up a cleanup policy for your images.: https://docs.gitlab.com/ee/user/packages/container_registry/reduce_container_registry_storage.html#cleanup-policy