Skip to content
SUMO DEV CI

change diseaseTreatment to diseaseMedicine and add new diseaseTreatme… #143

Sign in to view logs

change diseaseTreatment to diseaseMedicine and add new diseaseTreatme…

change diseaseTreatment to diseaseMedicine and add new diseaseTreatme… #143

Run time

Learn about OS pricing on GitHub Actions
Job Run time
call-sumo-check-workflow / derive_docker
1s
call-sumo-check-workflow / build_sumo_tptp
12m 5s
call-sumo-check-workflow / run_vampire
15m 19s
27m 25s