Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Next Build

Changes

Started by GitHub push by MathieuMorlighem

Started 5 hr 32 min ago

Took 4 min 5 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