Build #287 (Jan 29, 2020 3:33:51 AM)

PR #2714: GitHub actions

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

Configurations