ra_server: Update leaderboard after each command if cluster changed #795

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-bazel (24)	16s
build (26)	8m 18s
build-bazel (25)	18s
build-bazel (26)	17s
	9m 9s