Skip to content

Renaming ZenohID to ZenohId #204

Renaming ZenohID to ZenohId

Renaming ZenohID to ZenohId #204

Triggered via pull request September 20, 2024 07:38
@MalletsMallets
closed #233
Status Success
Total duration 11s
Artifacts

update-release-project.yml

on: pull_request_target
main  /  Add relevant issue to the release project
2s
main / Add relevant issue to the release project
Fit to window
Zoom out
Zoom in