Skip to content
Jenkins
Python
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 19 hr ago
Took 42 min on
Windows_10-MSYS2-MinGW-VM
CHG: better warning if errlog is not empty
(
56528d6
)
src/m/solve/loadresultsfromdisk.m
src/m/solve/loadresultsfromdisk.py
Mathieu Morlighem
at
11:26 AM 4/3/26