Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Changes

Started by GitHub push by MathieuMorlighem

Started 4 hr 31 min ago

Took 6 min 12 sec on Debian_12-VM

CHG: added check to warn users when execution dir needs to be cleaned up

src/m/solve/solve.py src/m/solve/solve.m

mathieu.morlighem at 4:56 AM 5/14/26