CI: add formal tests