Skip to content
SUMO DEV CI

Merge pull request #392 from ontologyportal/J20240923 #277

Sign in to view logs

Merge pull request #392 from ontologyportal/J20240923

Merge pull request #392 from ontologyportal/J20240923 #277

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