Skip to content

Fix #1373: change return type of TreeNode.propertyNames() #2455

Fix #1373: change return type of TreeNode.propertyNames()

Fix #1373: change return type of TreeNode.propertyNames() #2455

Triggered via pull request December 31, 2024 04:44
Status Success
Total duration 1m 43s
Artifacts

main.yml

on: pull_request
Matrix: build
Matrix: Trigger downstream builds for v2 / Trigger downstream builds
Waiting for pending jobs
Matrix: Trigger downstream builds for v3 / Trigger downstream builds
Waiting for pending jobs
Fit to window
Zoom out
Zoom in