Merge pull request #1872 from antmicro/update-badges ci: separate test and database in different workflows