This repository has been archived by the owner on Nov 29, 2024. It is now read-only.

docs: repository archived #213

Job	Run time
build: programs/update-client	2m 22s
build: programs/membership	1m 50s
build: programs/uc-and-membership	2m 19s
build: programs/misbehaviour	2m 20s
	8m 51s

Provide feedback