Merge pull request #367 from ontologyportal/J20230918 #169

Job	Run time
call-sumo-check-workflow / derive_docker	2s
call-sumo-check-workflow / build_sumo_tptp	6m 59s
call-sumo-check-workflow / run_vampire	21s
	7m 22s

Provide feedback