Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Changes

Started by GitHub push by MathieuMorlighem

Started 3 hr 13 min ago

Took 7 min 44 sec on Debian_12-VM

CHG: better warning if errlog is not empty

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

Mathieu Morlighem at 11:26 AM 4/3/26