Skip to content

GitLab

C
clean-platform

Fix balancedness of Data.Set

1 job for 96-balanced-set in 2 minutes and 19 seconds (queued for 1 second)
c9e198a8 c9e198a81236b6339381aafc63ca5046ba242f00
1 related merge request: !340 Fix tests for Data.Set; use balanced invariant instead of log_size (which was always True)
Status Job ID Name Coverage
  Test
passed #102087
test-nightly

00:02:19