Closed nikkolasg closed 1 year ago
This reverts commit da7e03873802316f4544107fa28b174f6261d809.
Sorry by mistake while playing with blstrs I pushed on main repo... on master. No big deal changes but I thought I'd revert it here and explain.
Pushing on master probably should be disabled tbh for the repo, or enforced via PR at least.
Merging #52 (57d240d) into master (da7e038) will increase coverage by 0.01%. The diff coverage is n/a.
0.01%
n/a
This reverts commit da7e03873802316f4544107fa28b174f6261d809.
Sorry by mistake while playing with blstrs I pushed on main repo... on master. No big deal changes but I thought I'd revert it here and explain.
Pushing on master probably should be disabled tbh for the repo, or enforced via PR at least.