Skip to content

GitLab

C
clean-platform

Merge branch '96-balanced-set' into 'master' 

Fix tests for Data.Set; use balanced invariant instead of log_size (which was always True)

Closes #96

See merge request !340
1 job for master in 1 minute and 18 seconds (queued for 1 second)
3e801acb
No related merge requests found.
Status Job ID Name Coverage
  Test
failed #102791
test-nightly

00:01:18

 
Name Stage Failure
failed
test-nightly Test 
make: *** [Makefile:67: commentstest] Error 1
make: Leaving directory '/builds/clean-and-itasks/clean-platform/tests/linux64'
Uploading artifacts...
WARNING: junit.xml: no matching files              
ERROR: No files to upload                          
Uploading artifacts...
WARNING: junit.xml: no matching files              
ERROR: No files to upload                          
ERROR: Job failed: exit code 1