Build #2 (Aug 11, 2021 10:47:12 AM)

	Build Artifacts
	Changes Changes the template to generate VDMRecord (details / githubweb)
	Push event to branch tm/SolveRecordProblem at 10:47:06 on 11-Aug-2021
	Revision: 8e73876ae1e259b041db9a11afc7f8b93c385fa6 tm/SolveRecordProblem
	Jacoco - Overall Coverage Summary INSTRUCTION 37% BRANCH 28% COMPLEXITY 29% LINE 38% METHOD 40% CLASS 57%
	Test Result (no failures)
	Jacoco - Overall Coverage Summary INSTRUCTION 56% BRANCH 45% COMPLEXITY 44% LINE 54% METHOD 54% CLASS 78%
	Jacoco - Overall Coverage Summary INSTRUCTION 37% BRANCH 28% COMPLEXITY 29% LINE 38% METHOD 40% CLASS 57%
	Task Scanner: 217 open tasks in 1,026 workspace files. 200 closed tasks
	Jacoco - Overall Coverage Summary INSTRUCTION 56% BRANCH 45% COMPLEXITY 44% LINE 54% METHOD 54% CLASS 78%
	Task Scanner: 465 open tasks in 3,513 workspace files. 48 new open tasks
	Jacoco - Overall Coverage Summary INSTRUCTION 37% BRANCH 28% COMPLEXITY 29% LINE 38% METHOD 40% CLASS 57%
	Task Scanner: 417 open tasks in 1,722 workspace files.