Skip to content
Jenkins
Main
Debian Linux - Ice-Ocean
#3553
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 4 hr 28 min ago
Took 8 min 21 sec on
Debian_12-VM
CHG: better way to handle local vs remote execution
(
6ba456d
)
src/m/classes/clusters/generic.m
src/m/solve/solve.py
src/m/classes/clusters/generic.py
src/m/solve/solve.m
mathieu.morlighem
at
7:02 AM 5/12/26