Build #270 (Jan 22, 2020 8:15:36 PM)

PR #2714: GitHub actions

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

Configurations