Merge pull request #820 from wp-cli/update-framework #537

Job	Run time
Build Phar	53s
Functional - WP 4.9 on PHP 7.2 with MySQL 5.6	34s
Functional - WP trunk on PHP 7.2 with MySQL 8.0	22s
Functional - WP trunk on PHP 7.4 with MySQL 8.0	6m 34s
Functional - WP latest on PHP 7.2 with MySQL 8.0	7m 16s
Functional - WP latest on PHP 7.3 with MySQL 8.0	7m 19s
Functional - WP latest on PHP 8.0 with MySQL 8.0	6m 8s
Functional - WP trunk on PHP 7.2 with MySQL 5.6	6m 28s
Functional - WP latest on PHP 7.4 with MySQL 8.0	26s
Functional - WP trunk on PHP 8.0 with MySQL 5.7	6m 42s
Functional - WP trunk on PHP 7.2 with MySQL 5.7	31s
Functional - WP trunk on PHP 8.0 with MySQL 5.6	6m 10s
Functional - WP trunk on PHP 8.0 with MySQL 8.0	6m 21s
Deployment	0s
Build RPM package	0s
Build DEB package	0s
Functional - WP latest on PHP 7.2 with MySQL 8.0	7m 16s
Build Phar	53s
Functional - WP trunk on PHP 7.4 with MySQL 8.0	6m 34s
Functional - WP latest on PHP 7.4 with MySQL 8.0	35s
Functional - WP 4.9 on PHP 7.2 with MySQL 5.6	6m 23s
Functional - WP trunk on PHP 7.2 with MySQL 5.7	29s
Functional - WP trunk on PHP 7.2 with MySQL 5.6	6m 28s
Functional - WP trunk on PHP 7.2 with MySQL 8.0	6m 30s
Functional - WP latest on PHP 8.0 with MySQL 8.0	6m 8s
Functional - WP latest on PHP 7.3 with MySQL 8.0	7m 19s
Functional - WP trunk on PHP 8.0 with MySQL 5.7	6m 42s
Functional - WP trunk on PHP 8.0 with MySQL 5.6	6m 10s
Functional - WP trunk on PHP 8.0 with MySQL 8.0	6m 21s
Deployment	0s
Build RPM package	0s
Build DEB package	0s
	2h 3m 32s

Provide feedback