Skip to content
SUMO DEV CI

Merge remote-tracking branch 'refs/remotes/origin/master' #188

Sign in to view logs

Merge remote-tracking branch 'refs/remotes/origin/master'

Merge remote-tracking branch 'refs/remotes/origin/master' #188

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