Skip to content
Jenkins
Main
Windows - Basic
#2714
Search
Sign in
Status
Changes
Console Output
Polling Log
Git Build Data
Tests
Previous Build
Next Build
Changes
Started by GitHub push by MathieuMorlighem
Started 11 hr ago
Took 42 min on
Windows_10-MSYS2-MinGW-VM
CHG: better warning if errlog is not empty
(
56528d6
)
src/m/solve/loadresultsfromdisk.py
src/m/solve/loadresultsfromdisk.m
Mathieu Morlighem
at
11:26 AM 4/3/26
