Skip to content

Rename port name properties to device name #80

Rename port name properties to device name

Rename port name properties to device name #80

Triggered via pull request March 12, 2024 11:32
Status Success
Total duration 2m 8s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in