Merge pull request #399 from ontologyportal/J20241112 #290

Job	Run time
call-sumo-check-workflow / derive_docker	1s
call-sumo-check-workflow / build_sumo_tptp	5m 44s
call-sumo-check-workflow / run_vampire	16s
	6m 1s

Provide feedback