diff --git a/.github/config-tests.inc.php b/.github/config-tests.inc.php new file mode 100644 index 000000000..4663fe380 --- /dev/null +++ b/.github/config-tests.inc.php @@ -0,0 +1,33 @@ +