Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Changes

Started by GitHub push by MathieuMorlighem

Started 4 hr 28 min ago

Took 1 min 2 sec on Debian_12-VM

CHG: better formating of outlog and errlog in md

src/m/solve/loadresultsfromdisk.m

Mathieu Morlighem at 6:25 AM 4/5/26