Skip to content
SUMO DEV CI

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

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 #340

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 39s
call-sumo-check-workflow / run_vampire
15m 20s
20m 0s