chiark / gitweb /
make success_report_interval configuraable
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 4 Aug 2021 17:56:48 +0000 (18:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 4 Aug 2021 17:57:01 +0000 (18:57 +0100)
commitc453d881d8606ae142fc7f3a4782232a9e01f4df
tree6caad430728a67982bee7d4f1d8e0f9e7a47a7a5
parent9c51a63367c708696970abe645dcf926d8eae52b
make success_report_interval configuraable

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
README.config
src/config.rs
src/reporter.rs