Skip to content

Use awk instead of cut to extract the device field from $IP #443

Use awk instead of cut to extract the device field from $IP

Use awk instead of cut to extract the device field from $IP #443

Re-run triggered July 9, 2025 14:16
Status Success
Total duration 21s
Artifacts

differential-shellcheck.yml

on: pull_request
Fit to window
Zoom out
Zoom in