https://github.com/AleoHQ/leo

As usual, our CI should compile and test a simple program.