SUMO DEV CI

Merge pull request #424 from AlbertoDMendoza/master #376

Sign in to view logs

Triggered via push February 13, 2025 18:39

apease

master

Status Success

Total duration 24m 25s

Artifacts 2

sumo-dev-cycle.yml

on: push

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.12 MB
logs-and-graphs	57.4 KB