fix type conflicts #174

Sign in to view logs

Triggered via push October 21, 2023 04:08

apease

master

Status Success

Total duration 9m 7s

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