Rinha de Backend 2024 Q1 Tecnologias utilizadas Micronaut 4.3.2 Micronaut Data JDBC Micronaut Test Resources CockroachDB Java 17 Docker Database