diff --git a/src/Service/Plugins.php b/src/Service/Plugins.php index b9d783a..f38bbf3 100644 --- a/src/Service/Plugins.php +++ b/src/Service/Plugins.php @@ -369,7 +369,8 @@ public function getPluginsInfoFromRecipe(Recipe $recipe, bool $skipCache = false $pluginPath = $this->getMoodlePluginPath($pluginName, $recipe); $targetPath = $this->getPluginTargetPath($recipe, $recipePath, $pluginName); - if (!file_exists(OS::path($targetPath.'/version.php'))) { + $targetPathVersionExists = file_exists(OS::path($targetPath.'/version.php')); + if (!$targetPathVersionExists || StaticVars::$ciMode) { $tmpDir = sys_get_temp_dir().'/'.uniqid('', true); $this->gitService->cloneGitRepository($recipePlugin->repo, $recipePlugin->branch, $tmpDir, $recipePlugin->upstream, $shallowClone);