P Model Check

manifest replica: Gate sync on a live reader context #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	4s
gc-reset	1m 54s
orphan-leak	55s
delete-stream-anchor	1m 10s
gc-reset-leading-group	1m 59s
trimmed-segment	59s
manifest-replica-lifecycle	2m 55s
gc-reset-multinode	2m 8s
read-resolution	37s
gc-decision	3m 35s
tier-routing	1m 18s
gc-leading-group	48s
writer-fencing	39s
	19m 1s