Skip to content

Cursor.close() does not complete if it was already called (#1579) #223

Cursor.close() does not complete if it was already called (#1579)

Cursor.close() does not complete if it was already called (#1579) #223

Triggered via push November 21, 2025 15:30
Status Success
Total duration 7m 59s
Artifacts
Matrix: CI-CD / CI
CI-CD  /  ...  /  Deploy to OSSRH
1m 45s
CI-CD / Deploy to OSSRH / Deploy to OSSRH
CI-CD  /  ...  /  Deploy (Oracle) to OSSRH
45s
CI-CD / Deploy to OSSRH / Deploy (Oracle) to OSSRH
Fit to window
Zoom out
Zoom in