Tests for CI

Doesn't do much yet.