Update types to return the languages for which we tried to run the pro engine#189

Merged

emjin merged 5 commits intomainfrom emma/ea-251-add-pro-languages-to-metrics-interfaces

Nov 14, 2023

+208-7

Commits on Nov 9, 2023

Update types to return the languages for which we tried to run the pro engine
emjin
committed

Commits on Nov 11, 2023

Merge branch 'main' into emma/ea-251-add-pro-languages-to-metrics-interfaces
emjin
committed

Commits on Nov 13, 2023