Merge pull request #365 from ontologyportal/J20230803 #142

Job	Run time
call-sumo-check-workflow / derive_docker	2s
call-sumo-check-workflow / build_sumo_tptp	10m 42s
call-sumo-check-workflow / run_vampire	15m 22s
	26m 6s

Provide feedback