Update 2025-06-17-weekly-progress-summary.md#423

will-break-it merged 1 commit intoinput-output-hk:maininput-output-hk/ouroboros-leios:mainfrom

olgahryniuk:patch-25olgahryniuk/ouroboros-leios:patch-25Copy head branch name to clipboard