Fix CI

nicolas-grekas · nicolas-grekas · commit 57c986a44166 · 2020-10-27T14:17:00.000+01:00
diff --git a/.github/patch-types.php b/.github/patch-types.php
@@ -5,7 +5,7 @@
     exit(1);
 }
 
-require __DIR__.'/../.phpunit/phpunit-8.3-0/vendor/autoload.php';
+require __DIR__.'/../.phpunit/phpunit/vendor/autoload.php';
 
 file_put_contents(__DIR__.'/../vendor/autoload.php', preg_replace('/^return (Composer.*);/m', <<<'EOTXT'
 $loader = \1;

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@`
`5`	`5`	`exit(1);`
`6`	`6`	`}`
`7`	`7`
`8`		`-require __DIR__.'/../.phpunit/phpunit-8.3-0/vendor/autoload.php';`
	`8`	`+require __DIR__.'/../.phpunit/phpunit/vendor/autoload.php';`
`9`	`9`
`10`	`10`	`file_put_contents(__DIR__.'/../vendor/autoload.php', preg_replace('/^return (Composer.*);/m', <<<'EOTXT'`
`11`	`11`	`$loader = \1;`