DB schema: rename experiments unique index#579

Merged

jgiannuzzi merged 1 commit intoG-Research:mainfrom jgiannuzzi:index

Nov 15, 2023

+7-7

Commits on Nov 15, 2023

Use a proper composite index that relies on Gorm's naming strategy
jgiannuzzi
committed