Get CI/CD working

[jmnc2]

This is still about playing with GitHub. (The code for circular_buf is just 1 header file that no one else is likely to use anyway.)