Skip to content

Merge pull request #1488 from pguyot/W04/add-mdns #4390

Merge pull request #1488 from pguyot/W04/add-mdns

Merge pull request #1488 from pguyot/W04/add-mdns #4390

Triggered via push January 26, 2025 17:15
Status Success
Total duration 22m 34s
Artifacts
clang-format-prettier-check
12s
clang-format-prettier-check
erlfmt-check
31s
erlfmt-check
mix-format-check
26s
mix-format-check
Fit to window
Zoom out
Zoom in