Merge branch 'develop' of...

Merge branch 'develop' of git.rwth-aachen.de:monticore/EmbeddedMontiArc/languages/CNNTrainLang into develop
2 jobs for develop
Status Job ID Name Coverage
  Windows
failed #697665
Windows10_OS
masterJobWindows

 
  Linux
skipped #697666
BranchJobLinux
 
Name Stage Failure
failed
masterJobWindows Windows There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log