Remove unnecessary boxing (#3969) #3652

Triggered via push December 27, 2023 16:50

J-N-K

main

Status Success

Total duration 19m 15s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-build.yml

on: push

Matrix: build

Produced during runtime

Name	Size
build-log-java-17-ubuntu-22.04 Expired	2.11 MB
sat-summary-report Expired	323 KB