`Development`: Convert DTOs to records#9385

Merged

krusche merged 16 commits intodevelopfrom

chore/convert-records-again

Nov 10, 2024

Commits on Sep 29, 2024

convert classes to records

Stephan Krusche
authored and
krusche
committed
convert additional classes to records

Stephan Krusche
authored and
krusche
committed
query formatting improvements
krusche
committed
remove wrong files after merge
krusche
committed

Commits on Oct 6, 2024

Commits on Oct 20, 2024

Commits on Oct 26, 2024

Commits on Oct 27, 2024

Merge branch 'develop' into chore/convert-records-again
krusche
authored

Commits on Oct 30, 2024

Update src/test/java/de/tum/cit/aet/artemis/programming/ProgrammingExerciseIntegrationTestService.java

krusche
and
JohannesStoehr
authored

Commits on Nov 10, 2024