Skip to content
SUMO DEV CI

fix issues found by Vampire in TFF/TFA #319

Sign in to view logs

fix issues found by Vampire in TFF/TFA

fix issues found by Vampire in TFF/TFA #319

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
3m 50s
call-sumo-check-workflow / run_vampire
13s
4m 4s