CI: add formal checks