Profile: improve profiling code (#1447) #4721
github-merge-queue[bot]ci.yml
on: push
Matrix: base
Matrix: docs
Matrix: hierarchical
Matrix: julia
Matrix: mac
Matrix: notebooks1
Matrix: notebooks2
Matrix: optimize
Matrix: petab
Matrix: quality
Matrix: select
Matrix: windows