Closed ners closed 4 months ago
Thanks a lot! This is awesome!
The test failure may simply be the Github MacOS runner. For some reason, some concurrency and timing stuff from monad-schedule doesn't work on MacOS so well.
I added a few commits to document everything. I needed this in order to fully understand what's going on. I believe I have it now. In case you can spot a blatant misunderstanding, feel free to call it out :)
Fantastic! Again, thanks a lot, this makes rhine development a lot more productive. And I've learned a lot along the way.
As discussed at ZuriHac: the new and improved Rhine flake! ✨
Design goals:
This is the sort of flake I wish to import when working on Rhine-powered projects. Until now I've had to copy around a bunch of boilerplate.