Skip to content

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

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

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

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

test.yml

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