Skip to content
SUMO DEV CI

Run Vampire w/ z3 libs that were inadvertently excluded from previous CI workflow images #347

Sign in to view logs

Run Vampire w/ z3 libs that were inadvertently excluded from previous CI workflow images

Run Vampire w/ z3 libs that were inadvertently excluded from previous CI workflow images #347

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
4m 51s
call-sumo-check-workflow / run_vampire
19m 41s
24m 33s