Merge pull request #386 from ontologyportal/J20240814 #263

Job	Run time
call-sumo-check-workflow / derive_docker	1s
call-sumo-check-workflow / build_sumo_tptp	5m 19s
call-sumo-check-workflow / run_vampire	15m 13s
	20m 33s

Provide feedback