Merge pull request #405 from ontologyportal/epachamo-patch-1 #301

Job	Run time
call-sumo-check-workflow / derive_docker	1s
call-sumo-check-workflow / build_sumo_tptp	5m 55s
call-sumo-check-workflow / run_vampire	13s
	6m 9s

Provide feedback