Skip to content

diffedit3-web binary: change default port to a port range #178

diffedit3-web binary: change default port to a port range

diffedit3-web binary: change default port to a port range #178

Triggered via push March 19, 2024 02:26
Status Success
Total duration 1m 59s
Artifacts

test.yml

on: push
Check that webapp was compiled
16s
Check that webapp was compiled
clippy
1m 50s
clippy
Check formatting
17s
Check formatting
Fit to window
Zoom out
Zoom in