Branches

• pin_workbench

  a9c8e1a5 · drop mantidworkbench · Sep 16, 2025
  !7
• main default protected

  a42f4691 · Merge branch 'update_to_mantid_nightly' into 'main' · Nov 17, 2025