Build documentation

chore(deps): Bump shivammathur/setup-php from 2.35.5 to 2.36.0 #31500

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
user_manual-en	20s
user_manual	3m 39s
developer_manual	38s
admin_manual	41s
	5m 18s