Skip to content

Commit af85825

Browse files
committed
Bump
1 parent 1c43b32 commit af85825

File tree

1 file changed

+18
-6
lines changed

1 file changed

+18
-6
lines changed

.github/nightly.php

Lines changed: 18 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -26,22 +26,34 @@ function e(string $cmd, string $extra = ''): string {
2626

2727
$repos = [];
2828

29-
$repos["phpunit"] = [
29+
/*$repos["phpunit"] = [
3030
"https://github.com/sebastianbergmann/phpunit.git",
3131
"main",
3232
null,
3333
["./phpunit"],
3434
1
35-
];
35+
];*/
3636

37-
$repos["infection"] = [
38-
"https://github.com/infection/infection",
37+
$repos["psalm"] = [
38+
"https://github.com/vimeo/psalm",
3939
"master",
4040
null,
41-
["vendor/bin/phpunit"],
41+
function (): iterable {
42+
$it = new RecursiveDirectoryIterator("tests");
43+
/** @var SplFileInfo $file */
44+
foreach(new RecursiveIteratorIterator($it) as $file) {
45+
if ($file->getExtension() == 'php' && ctype_upper($file->getBasename()[0])) {
46+
yield [
47+
getcwd()."/phpunit",
48+
dirname($file->getRealPath()),
49+
];
50+
}
51+
}
52+
},
4253
1
4354
];
4455

56+
/*
4557
$repos["wordpress"] = [
4658
"https://github.com/WordPress/wordpress-develop.git",
4759
"",
@@ -110,7 +122,7 @@ function (): iterable {
110122
}
111123
},
112124
1
113-
];
125+
];*/
114126

115127
$finalStatus = 0;
116128
$parentPids = [];

0 commit comments

Comments
 (0)