Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Changes

Started by GitHub push by MathieuMorlighem

Started 2 hr 46 min ago

Took 8 min 12 sec on macOS-Silicon

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