Closed hassila closed 1 year ago
Merging #120 (844f637) into main (6ea1365) will not change coverage. The diff coverage is
n/a
.
Pull request benchmark comparison [ubuntu-latest] with 'main' run at 2023-03-21T13:59:44+00:00 Pull request had performance regressions
Hotfix wrong option naming after restructuring.