Build #285 (Jan 29, 2020 1:25:35 AM)

PR #2714: GitHub actions

	No changes.
	GitHub pull request #2714 of commit e3bdabc6bf03aa62652edaf012c2ac7135fab542, no merge conflicts.

Configurations