Build #168 (Sep 22, 2020 9:29:00 AM)

	Build Artifacts c-0.2.3-SNAPSHOT.pom 1.56 KB  view vdmclib-0.2.3-SNAPSHOT.jar 107.37 KB  view vdmclib-0.2.3-SNAPSHOT.pom 1.71 KB  view vdmclibdist-0.2.3-SNAPSHOT.jar 43.14 KB  view vdmclibdist-0.2.3-SNAPSHOT.pom 1.73 KB  view core-0.2.3-SNAPSHOT.pom 949 B  view vdm2c-0.2.3-SNAPSHOT-jar-with-dependencies.jar 7.74 MB  view vdm2c-0.2.3-SNAPSHOT.jar 417.69 KB  view vdm2c-0.2.3-SNAPSHOT.pom 5.62 KB  view ide-0.2.3-SNAPSHOT.pom 9.49 KB  view org.overturetool.vdm2c.ide.features.cgen-0.2.3-SNAPSHOT.pom 704 B  view org.overturetool.vdm2c.ide.cgen-0.2.3-SNAPSHOT.pom 5.21 KB  view org.overturetool.vdm2c.ide.features-0.2.3-SNAPSHOT.pom 687 B  view org.overturetool.vdm2c.ide.repository-0.2.3-SNAPSHOT.pom 993 B  view root-0.2.3-SNAPSHOT.pom 11.69 KB  view
	Changes Added github actions build (details / githubweb)
	Push event to branch development at 09:28:54 on 22-Sep-2020
	Revision: c75d23a12eadd22dcbb6def645e44ef45a3a8414 development
	Jacoco - Overall Coverage Summary INSTRUCTION 65% BRANCH 45% COMPLEXITY 40% LINE 63% METHOD 57% CLASS 85%
	Test Result (no failures)
	Jacoco - Overall Coverage Summary INSTRUCTION 65% BRANCH 45% COMPLEXITY 40% LINE 63% METHOD 57% CLASS 85%
	Task Scanner: 29 open tasks in 119 workspace files.