* perf: reuse bootstrapped graph option arrays and document validation
Signed-off-by: Thomas Vincent <thomasvincent@gmail.com>
* test: record the installed RRDtool version in profiles
Signed-off-by: Thomas Vincent <thomasvincent@gmail.com>
* docs: record final validation scope and profiling runtime limits
Signed-off-by: Thomas Vincent <thomasvincent@gmail.com>
* docs: clarify the scope of changed-code coverage
Signed-off-by: Thomas Vincent <thomasvincent@gmail.com>
* ci: repair relocated PHPUnit configs and the deletion-only coverage gate
- Point the five relocated configs that still carried a contributor's local
autoload path (#8376) at ../include/vendor/autoload.php.
- Pass --configuration=tests/phpunit.xml to the CSV window workflow and the
README example now that phpunit.xml no longer lives in the repository root.
- Let the changed-lines gate pass deletion-only PHP changes. Without added
lines the generated config has no source filter, PHPUnit writes no clover
report, and the gate failed on the missing file instead of reporting zero
executable changed lines.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: TheWitness <thewitness@cacti.net>
* ci: keep the missing request-report check for deletion-only changes
Only short-circuit the changed-lines gate when there are no added PHP lines
and PHPUnit wrote no clover report, so an empty request-coverage directory
is still rejected.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: TheWitness <thewitness@cacti.net>
---------
Signed-off-by: Thomas Vincent <thomasvincent@gmail.com>
Signed-off-by: TheWitness <thewitness@cacti.net>
Co-authored-by: TheWitness <thewitness@cacti.net>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
