Skip to content
Jenkins
Windows - Basic
#2813
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 22 hr ago
Took 20 min on
Windows_10-MSYS2-MinGW-VM
CHG: better way to handle local vs remote execution
(
6ba456d
)
src/m/solve/solve.py
src/m/classes/clusters/generic.m
src/m/classes/clusters/generic.py
src/m/solve/solve.m
mathieu.morlighem
at
7:02 AM 5/12/26