mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
Fix coverage label job selection
This commit is contained in:
2
.github/matrix.php
vendored
2
.github/matrix.php
vendored
@@ -52,7 +52,7 @@ function select_jobs($repository, $trigger, $nightly, $labels, $php_version, $re
|
||||
$test_alpine = in_array('CI: Alpine', $labels, true);
|
||||
$test_benchmarking = in_array('CI: Benchmarking', $labels, true);
|
||||
$test_community = in_array('CI: Community', $labels, true);
|
||||
$test_coverage = in_array('CI: COVERAGE', $labels, true);
|
||||
$test_coverage = in_array('CI: Coverage', $labels, true);
|
||||
$test_freebsd = in_array('CI: FreeBSD', $labels, true);
|
||||
$test_libmysqlclient = in_array('CI: libmysqlclient', $labels, true);
|
||||
$test_linux_ppc64 = in_array('CI: Linux PPC64', $labels, true);
|
||||
|
||||
Reference in New Issue
Block a user