SUMO DEV CI

Update Medicine.kif #367

Sign in to view logs

Triggered via pull request February 1, 2025 23:35

epachamo

opened #421

epachamo-patch-1

Status Success

Total duration 24m 19s

Artifacts 2

sumo-dev-cycle.yml

on: pull_request

call-sumo-check-workflow / derive_docker

call-sumo-check-workflow / build_sumo_tptp

call-sumo-check-workflow / run_vampire

Artifacts

Produced during runtime

Name	Size
SUMO.fof	7.13 MB
logs-and-graphs	57.7 KB