Skip to content
SUMO DEV CI

Merge pull request #390 from ontologyportal/J20240922 #273

Sign in to view logs

Merge pull request #390 from ontologyportal/J20240922

Merge pull request #390 from ontologyportal/J20240922 #273

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 14s
call-sumo-check-workflow / run_vampire
15m 12s
20m 27s