Skip to content

Merge pull request #20 from jnareb/fix-getASTStructureElement-crash #78

Merge pull request #20 from jnareb/fix-getASTStructureElement-crash

Merge pull request #20 from jnareb/fix-getASTStructureElement-crash #78

Triggered via push September 19, 2025 06:31
Status Success
Total duration 26s
Artifacts
Publish to retype branch
22s
Publish to retype branch
Fit to window
Zoom out
Zoom in