Closed nickgerace closed 2 years ago
General changes:
Bug fixes:
CI changes:
Makefile changes:
Bench script changes:
Additional comment: I am probably missing some stuff here. I was on a flight and did not have internet. My brain went nuts and... well, here we are.
Closes #176 Closes #180
bors merge
Build succeeded:
General changes:
Bug fixes:
CI changes:
Makefile changes:
Bench script changes:
Additional comment: I am probably missing some stuff here. I was on a flight and did not have internet. My brain went nuts and... well, here we are.
Closes #176 Closes #180