Wouter Bohlken
Results
3
comments of
Wouter Bohlken
That would indeed be a nice addition, I could implement it and create a PR
I would omit the `Then` lines, since the arrows already indicate the possible next states. Just the italics might be a bit confusing since the italics on a place means...
Hi @wing328, Thanks for the quick reply, I fixed the commit and pushed again. However, the CI build seems to fail on both Linux and Windows. Do you know what...