Pin some GitHub Actions (#951) #685

Job	Run time
Build Phar	36s
Functional - WP trunk on PHP 7.4 with MySQL 5.7	6m 38s
Functional - WP trunk on PHP 8.5 with MySQL 5.6	4m 58s
Functional - WP latest on PHP 7.3 with MySQL 8.0	15m 18s
Functional - WP latest on PHP 7.2 with MySQL 8.0	7m 9s
Functional - WP trunk on PHP 7.4 with MySQL 5.6	6m 58s
Functional - WP latest on PHP 8.5 with MySQL 8.0	3m 57s
Functional - WP trunk on PHP 8.5 with MySQL 8.0	4m 44s
Functional - WP 4.9 on PHP 7.2 with MySQL 5.6	7m 8s
Functional - WP trunk on PHP 8.5 with MySQL 5.7	4m 3s
Functional - WP latest on PHP 7.4 with MySQL 8.0	6m 34s
Functional - WP trunk on PHP 7.4 with MySQL 8.0	6m 43s
Deployment	13s
Build RPM package	-1s
Build DEB package	-1s
	1h 14m 57s

Provide feedback