Repository for tinycdb CI tests.