Skip to content

Fix incorrect types in pypesto.result.profile.ProfilerResult#1210

Merged
dweindl merged 3 commits intoICB-DCM:developfrom dweindl:fix_1205_againNov 22, 2023

Commits

Commits on Nov 21, 2023