Skip to content

bisector: do not optimize Pickle output for -oexport-db

Douglas Raillard requested to merge github/fork/douglas-raillard-arm/_pr44 into next

Since that DB is typically not reused a lot, it is pointless to spend time optimizing it, as it can take a non-negligible amount of time.

Merge request reports