The timing history stopped recording when prebuild was added - #89

The timing history stopped recording when prebuild was added#89

sotashimozono merged 2 commits into

mainQAtlasHub/TestShards.jl:mainfrom

fix/timings-inherits-a-skipQAtlasHub/TestShards.jl:fix/timings-inherits-a-skipCopy head branch name to clipboard