Skip to content

Renaming ZenohID to ZenohId #153

Renaming ZenohID to ZenohId

Renaming ZenohID to ZenohId #153

Triggered via pull request September 19, 2024 18:02
@DariusIMPDariusIMP
synchronize #233
Status Failure
Total duration 14s
Artifacts

check-labels.yml

on: pull_request_target
Check PR labels  /  main
3s
Check PR labels / main
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check PR labels / main
Process completed with exit code 1.