Closed bioball closed 2 months ago
Note: I enabled build native jobs here because this PRB introduces changes there. I'm planning on getting rid of them again before merging.
A remaining TODO here is to tune our specialization limits (see commit for details)
After dropping Java 11, we can start using records, and also switch our Java code generators to use records.
Note: I enabled build native jobs here because this PRB introduces changes there. I'm planning on getting rid of them again before merging.
A remaining TODO here is to tune our specialization limits (see commit for details)
After dropping Java 11, we can start using records, and also switch our Java code generators to use records.