Prepare for next dev iteration #243
Merged
Cirrus CI / build
succeeded
Nov 20, 2024 in 33s
Task Summary
Task successfully finished!
Details
✅ 00:00 clone
✅ 00:02 maven
✅ 00:22 build
✅ 00:01 cleanup_before_cache
✅ 00:00 Upload 'maven' cache
Loading