Skip to content

Merge branch 'main' into feature/distributed-erlang #4387

Merge branch 'main' into feature/distributed-erlang

Merge branch 'main' into feature/distributed-erlang #4387

Triggered via push January 25, 2025 21:30
Status Success
Total duration 1h 5m 4s
Artifacts
clang-format-prettier-check
18s
clang-format-prettier-check
erlfmt-check
32s
erlfmt-check
mix-format-check
26s
mix-format-check
Fit to window
Zoom out
Zoom in