ContractAutomataProject / ContractAutomataLib / #83

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#83	main	update README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	23 Apr 2022 06:02PM UTC	davidebasile		pending completion   set done
#82	main	update README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	23 Apr 2022 05:55PM UTC	davidebasile		pending completion   set done
#81	main	Delete site directory	push	23 Apr 2022 04:26PM UTC	web-flow		pending completion   set done
#80	main	Add files via upload	push	23 Apr 2022 04:24PM UTC	web-flow		pending completion   set done
#79	main	Add files via upload	push	23 Apr 2022 04:23PM UTC	web-flow		pending completion   set done
#78	main	Create temp	push	23 Apr 2022 04:21PM UTC	web-flow		pending completion   set done
#77	main	fixed test Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	23 Apr 2022 03:48PM UTC	davidebasile		pending completion   set done
#76	main	fixed some Codiga comments Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	23 Apr 2022 02:32PM UTC	davidebasile		pending completion   set done
#75	main	fixed errors in tests Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	23 Apr 2022 02:11PM UTC	davidebasile		pending completion   set done
#74	main	fixed errors in tests Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	23 Apr 2022 12:45PM UTC	davidebasile		pending completion   set done
#73	main	javadoc completed Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	22 Apr 2022 05:21PM UTC	davidebasile		pending completion   set done
#72	main	working on javadoc Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	21 Apr 2022 04:54PM UTC	davidebasile		pending completion   set done
#71	main	changed github action build to use ubuntu for sonarcloud Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	20 Apr 2022 07:44PM UTC	davidebasile		pending completion   set done
#70	main	ProductOrchestrationSynthesisOperatorTest unit tests and mutation testing changed github action build to use windows Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	20 Apr 2022 07:28PM UTC	davidebasile		pending completion   set done
#69	main	ChoreographySynthesisOperatorTest unit tests and mutation testing Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	20 Apr 2022 05:13PM UTC	davidebasile		pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• Next →