Skip to content
SUMO DEV CI

create version of tinySUMO that only uses integers #379

Sign in to view logs

create version of tinySUMO that only uses integers

create version of tinySUMO that only uses integers #379

call-sumo-check-workflow  /  run_vampire

call-sumo-check-workflow / run_vampire
succeeded Feb 14, 2025 in 19m 34s