Skip to content

[Trivial] Add coords initialization to BndInfo #1760

[Trivial] Add coords initialization to BndInfo

[Trivial] Add coords initialization to BndInfo #1760

Triggered via pull request June 5, 2024 16:09
Status Success
Total duration 7m 52s
Artifacts

pr-dependencies.yml

on: pull_request
Required PRs Merged
5s
Required PRs Merged
Fit to window
Zoom out
Zoom in