Continuous Integration

Repair TLA+ ordered serialisability invariant #8671

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ACI SNP Milan	13m 3s
VMSS Virtual A	13m 37s
VMSS Virtual C	17m 33s
ACI SNP Genoa	11m 3s
VMSS Virtual B	18m 54s
	1h 14m 10s