Skip to content
Jenkins
Debian Linux - Basic
#3720
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 1 mo 2 days ago
Took 14 min on
Debian_12-VM
CHG: removing LaunchQueueJobIceOcean, we can call the usual LaunchQueueJob
(
1c5b5e7
)
src/m/solve/solveiceocean.m
src/m/classes/clusters/localpfe.m
src/m/classes/clusters/generic.m
mathieu.morlighem
at
6:44 AM 5/22/26