Skip to content
Label PRs

Deprecate CoordRepType and replace it with CoordinateType #5842

Sign in to view logs

Deprecate CoordRepType and replace it with CoordinateType

Deprecate CoordRepType and replace it with CoordinateType #5842

Triggered via pull request November 27, 2024 21:13
@N-DekkerN-Dekker
synchronize #4997
Status Success
Total duration 29s
Artifacts –

label-pr.yml

on: pull_request_target
build
20s
build
Fit to window
Zoom out
Zoom in