TODO.md

Figure out how to run on Github Actions

This will let me test with clang and gcc automatically, without having to reconfigure stuff locally.

I don't want to store the inputs in the repository (see here), and I also want to play around with Github Actions caching and secrets.