Skip to content

FIX: keep a resumed run's tool name when the server restarted while it was paused - #95

Merged
Jules-GP merged 1 commit into
DCBIA-OrthoLab:mainfrom
Jules-GP:fix/resumed-run-keeps-its-name
Oct 29, 2026
Merged

FIX: keep a resumed run's tool name when the server restarted while it was paused#95
Jules-GP merged 1 commit into
DCBIA-OrthoLab:mainfrom
Jules-GP:fix/resumed-run-keeps-its-name

FIX: keep a resumed run's tool name when the server restarted while i…

74753ff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
server suite
succeeded Oct 29, 2026 in 1m 45s