Skip to content

Rename structural_node class to StructuralNode #87

Rename structural_node class to StructuralNode

Rename structural_node class to StructuralNode #87

Triggered via pull request October 12, 2024 21:38
Status Success
Total duration 1m 0s
Artifacts

CheckHeaders.yml

on: pull_request
CheckHeaders
51s
CheckHeaders
Fit to window
Zoom out
Zoom in