Build #478 (May 19, 2020 7:37:00 PM)

PR #2917: Fix github actions tests

	No changes.
	GitHub pull request #2917 of commit be48c29fa105c958cb2f8bc8f94ee88b867b3b30, no merge conflicts.

Configurations