Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Changes

Started by GitHub push by MathieuMorlighem

Started 21 hr ago

Took 10 min on Debian_12-VM

CHG: added comment sign so that output name display when typing help

src/m/solve/listoutputs.m src/c/shared/Enum/Synchronize.sh

mathieu.morlighem at 11:55 AM 7/13/26