Merge branch 'develop' into 'master' for 5.2.0 release #7895

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
CancelPrevious	6s
CommandLine	10m 14s
GitBash	10m 6s
Powershell	10m 22s
Check	0s
	30m 48s