[mithro]

This is pretty cool but I think it doesn't focus enough on the fact that code which isn't run / tested regularly is most certainly broken.

Some friends at Antmicro developed a little tool called "tuttest" (https://github.com/antmicro/tuttest) designed to enable you to run your code examples on CI. It still needs a lot of work but we are starting to use it in a lot of places. The tool in the future could potentially use a docable compatible metadata for the best of both worlds!