fix missing index update in ci#1446

mbrousset-ledger merged 1 commit intoAPI_LEVEL_25LedgerHQ/ledger-secure-sdk:API_LEVEL_25from

mbr/cherry-pick-create-snapshotsLedgerHQ/ledger-secure-sdk:mbr/cherry-pick-create-snapshotsCopy head branch name to clipboard