Skip to content

Editorial: Update "Properties of $Type Instances" sections #1035

Editorial: Update "Properties of $Type Instances" sections

Editorial: Update "Properties of $Type Instances" sections #1035

Triggered via pull request March 3, 2025 22:04
Status Success
Total duration 23s
Artifacts

build.yml

on: pull_request
lint & build
15s
lint & build
Fit to window
Zoom out
Zoom in