snarky icon indicating copy to clipboard operation
snarky copied to clipboard

Published 20 hours ago • verified publisher icon o1-labs

Cosmetics/Refactoring

Open volhovm opened this issue 1 year ago • 2 comments

This PR is purely cosmetic refactoring not intended to have any logical changes.

volhovm avatar Jan 16 '24 13:01 volhovm

Circle CI is broken and won't pass. This PR is not urgent so I'll wait until (hopefully) it's disabled or fixed.

volhovm avatar Jan 17 '24 18:01 volhovm

Oh yeah, CircleCI is not used anymore. We can remove it I think.

dannywillems avatar Jan 18 '24 16:01 dannywillems