appears to work #182

Sign in to view logs

Triggered via push November 7, 2023 17:45

apease

master

Status Success

Total duration 5m 59s

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 Expired	84.2 MB
logs-and-graphs Expired	94 Bytes