Build #3075 (Jan 3, 2020 12:25:26 PM)

PR #2240: [ADAM-2228] Remove Jenkins ...

	No changes.
	GitHub pull request #2240 of commit 06e8c80af5314107c3d8ab14fd1af0078449fafc, no merge conflicts.
	Test Result (no failures)

Configurations