Started by GitHub push by MathieuMorlighem6206ba456d16724a8844093d2b5d6314b18247f5ae66ba456d16724a8844093d2b5d6314b18247f5ae6refs/remotes/origin/main6ba456d16724a8844093d2b5d6314b18247f5ae66ba456d16724a8844093d2b5d6314b18247f5ae6refs/remotes/origin/main6ba456d16724a8844093d2b5d6314b18247f5ae66ba456d16724a8844093d2b5d6314b18247f5ae6refs/remotes/origin/maingit@github.com:ISSMteam/ISSM.git4072testReporthttps://ross.ics.uci.edu/jenkins/job/Debian_Linux-Dakota/620/artifacthttps://ross.ics.uci.edu/jenkins/job/Debian_Linux-Dakota/changeshttps://ross.ics.uci.edu/jenkins/job/Debian_Linux-Dakota/620/https://ross.ics.uci.edu/jenkins/job/Debian_Linux-Dakota/620/testReportfalse#620483971979927Debian Linux - Dakota #620620falsefalse62011737FAILURE1778594556507https://ross.ics.uci.edu/jenkins/job/Debian_Linux-Dakota/620/Debian_12-VMsrc/m/solve/solve.pysrc/m/classes/clusters/generic.msrc/m/classes/clusters/generic.pysrc/m/solve/solve.m6ba456d16724a8844093d2b5d6314b18247f5ae61778594542000https://ross.ics.uci.edu/jenkins/user/mathieu.morlighemmathieu.morlighemmathieu.morlighem@gmail.comCHG: better way to handle local vs remote execution 2026-05-12 10:02:22 -04006ba456d16724a8844093d2b5d6314b18247f5ae6CHG: better way to handle local vs remote executioneditsrc/m/solve/solve.meditsrc/m/classes/clusters/generic.pyeditsrc/m/classes/clusters/generic.meditsrc/m/solve/solve.pygithttps://ross.ics.uci.edu/jenkins/user/mathieu.morlighemmathieu.morlighemmathieu.morlighem