Merge pull request #404 from ontologyportal/J20241219 #299

Job	Run time
call-sumo-check-workflow / derive_docker	1s
call-sumo-check-workflow / build_sumo_tptp	4m 54s
call-sumo-check-workflow / run_vampire	12s
	5m 7s

Provide feedback