Build #264 (Jan 22, 2020 6:15:59 PM)

PR #2714: GitHub actions

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

Configurations