Skip to content

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

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

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

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

test.yml

on: push
Check that webapp was compiled
14s
Check that webapp was compiled
clippy
1m 47s
clippy
Check formatting
13s
Check formatting
Fit to window
Zoom out
Zoom in