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

docs: repository archived (#135) #214

Job	Run time
build: programs/update-client	2m 13s
build: programs/membership	1m 55s
build: programs/uc-and-membership	2m 10s
build: programs/misbehaviour	2m 13s
	8m 31s

Provide feedback