ContractAutomataProject / ContractAutomataLib / #8

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#8	main	Drop files from .gitignore	push	09 Mar 2022 11:49AM UTC	davidebasile		pending completion   set done
#7	main	Revert "Delete .metadata directory" This reverts commit 6f1037352.	push	09 Mar 2022 11:39AM UTC	davidebasile		pending completion   set done
#6	main	Delete .metadata directory	push	09 Mar 2022 11:00AM UTC	web-flow		pending completion   set done
#5	main	gitignore Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	09 Mar 2022 10:52AM UTC	davidebasile		pending completion   set done
#4	main	updating .gitignore Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>	push	09 Mar 2022 10:48AM UTC	davidebasile		pending completion   set done
#3	main	Update and rename github.yml to build.yml	push	08 Mar 2022 10:13PM UTC	web-flow		pending completion   set done
#2	main	Update pom.xml	push	08 Mar 2022 09:58PM UTC	web-flow		pending completion   set done
#1	main	Update github.yml	push	08 Mar 2022 09:41PM UTC	web-flow		pending completion   set done

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