Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Changes

Started by GitHub push by MathieuMorlighem

Started 12 min ago

Took 10 min on Debian_12-VM

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

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

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