Skip to content

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

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

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

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

spellcheck.yml

on: pull_request
Language tool & Misspell check
33s
Language tool & Misspell check
Fit to window
Zoom out
Zoom in