Skip to content

GitLab

Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/abstract-curry

3 jobs for master
Auto DevOps
4be00788
No related merge requests found.
Status Job ID Name Coverage
  Build
failed #1558
build

 
  Test
skipped #1560
allowed to fail
code_quality
skipped #1559
test
 
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