Merge branch 'master' of...

Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/javascript into typeclasses
3 jobs for master
Status Name Job ID Coverage
  Build
failed build #2035

 
  Test
skipped code_quality #2037
allowed to fail
skipped test #2036
 
Name Stage Failure
failed
build Build There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log