Build #286 (Jan 29, 2020 2:57:20 AM)

PR #2714: GitHub actions

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

Configurations