Closed HosseinYousefi closed 1 month ago
Closes #1067.
coverage: 92.067% (-1.7%) from 93.733% when pulling aa7fe18ad96cf6a898fa2f9336c1524076f77b59 on check-jni into 630a7a38826dd6b6f7148311c4b6a247dc3d54c2 on main.
Closes #1067.