Closed kharus closed 1 year ago
The guard is added to prevent batch job to run on forked repos. Batch will only run on ontologyportal. TPTP job extracted as it takes long time to build SUMO.tptp, and sometimes only vampire step need to be restarted.
The guard is added to prevent batch job to run on forked repos. Batch will only run on ontologyportal. TPTP job extracted as it takes long time to build SUMO.tptp, and sometimes only vampire step need to be restarted.