Fix a bug where the leader is never elected even if the majority of the members are alive. #455

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-package-generic-unix	5m 48s
build (linux/amd64)	29s
build (linux/arm64)	25s
merge	0s
	6m 42s