Skip to content
SUMO DEV CI

reverse implication as per knows->believes (which is counter-intuitiv… #240

Sign in to view logs

reverse implication as per knows->believes (which is counter-intuitiv…

reverse implication as per knows->believes (which is counter-intuitiv… #240

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
5m 19s
call-sumo-check-workflow / run_vampire
11s
5m 31s