Build #283 (Jan 28, 2020 9:44:44 PM)

PR #2714: GitHub actions

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

Configurations