ContractAutomataProject / ContractAutomataLib / #113

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#113	main	Update README.md	push	23 Jun 2022 03:36PM UTC	web-flow		pending completion   set done
#112	main	Update README.md	push	23 Jun 2022 03:13PM UTC	web-flow		pending completion   set done
#111	main	Update README.md	push	30 May 2022 11:54AM UTC	web-flow		pending completion   set done
#110	main	Update README.md	push	25 May 2022 03:09PM UTC	web-flow		pending completion   set done
#109	main	Update README.md	push	25 May 2022 03:05PM UTC	web-flow		pending completion   set done
#108	development	Update README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	15 May 2022 04:15PM UTC	davidebasile		pending completion   set done
#107	development	Update README.md	push	15 May 2022 04:11PM UTC	web-flow		pending completion   set done
#106	main	Update README.md	push	15 May 2022 04:04PM UTC	web-flow		pending completion   set done
#105	main	update README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	15 May 2022 04:02PM UTC	davidebasile		pending completion   set done
#104	development	Update README.md	push	15 May 2022 03:53PM UTC	web-flow		pending completion   set done
#103	main	Update README.md	push	14 May 2022 06:15PM UTC	web-flow		pending completion   set done
#102	main	Update README.md	push	05 May 2022 06:47PM UTC	web-flow		pending completion   set done
#101	main	updated README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	05 May 2022 12:58PM UTC	davidebasile		pending completion   set done
#100	main	updated readme.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	05 May 2022 11:16AM UTC	davidebasile		pending completion   set done
#99	main	updated readme.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	03 May 2022 03:12PM UTC	davidebasile		pending completion   set done

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