Sacha Ayoun

Just saw this issue I've been using it for a while on all kinds of projects (mostly private). I was at your talk at ReasonML London and I was dying...

Thank you for your work @smorimoto ❤️

Related to #1641 I'd be in favor of adding pre-push hooks, making them as light as possible

Maybe using [husky](https://github.com/rhysd/cargo-husky) could be useful here, it would enforce the hooks by default and save CI power and time and avoid the "urgh I forgot to format again"

I don't see a good cli tool for yaml formatting. There's https://github.com/google/yamlfmt but it requires installing go I used the vscode yaml extension, but it's written in JS and doesn't...

Not sure why the CI fails while it passes on my machine :(

It's a fixme because this test passes but shouldn't On my local machine, I first added `// kani-verify-fail` and the suite would fail saying "Expected to fail but it didn't"...

Aaaaaah, my bad... It fails with or without `kani-verify-fail`. It's just that the second time I ran it, the test was ignored. It fails in both cases when I use...

Is there a way to write such a test? It is a UB that is not being detected by Kani, and that is in the work. Maybe you're right this...

@adpaco-aws that's exactly what I did at first and the test appeared as "FAILED"...