Skip to content

GitLab

Fix balancedness of Data.Set

1 job for 96-balanced-set in 2 minutes and 19 seconds (queued for 1 second)
c9e198a8
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