Skip to content

Commit 558696d

Browse files
committed
ci: check not existing files mentioned in resources
Signed-off-by: Patrizio Bekerle <patrizio@bekerle.com>
1 parent 3cbbf31 commit 558696d

1 file changed

Lines changed: 15 additions & 10 deletions

File tree

.github/workflows/scripts/run-tests.php

Lines changed: 15 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -92,16 +92,21 @@ function ($file) use ($dir, $script) {
9292
}
9393
);
9494

95-
if (count($extraFiles) > 0) {
96-
$resources = $data["resources"] ?? [];
97-
if (!is_array($resources)) {
98-
$errors[] = "'resources' has to be an array!";
99-
} else {
100-
foreach ($extraFiles as $extraFile) {
101-
$basename = basename($extraFile);
102-
if (!in_array($basename, $resources)) {
103-
$errors[] = "File '$basename' is not listed in 'resources' in info.json!";
104-
}
95+
$resources = $data["resources"] ?? [];
96+
if (!is_array($resources)) {
97+
$errors[] = "'resources' has to be an array!";
98+
} else {
99+
foreach ($extraFiles as $extraFile) {
100+
$basename = basename($extraFile);
101+
if (!in_array($basename, $resources)) {
102+
$errors[] = "File '$basename' is not listed in 'resources' in info.json!";
103+
}
104+
}
105+
106+
// Check that every file listed in "resources" actually exists
107+
foreach ($resources as $resource) {
108+
if (!file_exists($dir . "/" . $resource)) {
109+
$errors[] = "Resource '$resource' listed in info.json doesn't exist!";
105110
}
106111
}
107112
}

0 commit comments

Comments
 (0)