TTTensor documentation mostly done

8 jobs for master in 8 minutes and 32 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build Homepage
passed job_build_homepage #2239

00:00:20

 
  Build Gcc
passed job_make_gcc #2240

00:01:13

 
  Test Gcc
passed job_test_gcc #2241

00:01:51

92.453%
 
  Build Gcc Nocheck
passed job_make_gcc_nocheck #2242

00:01:06

 
  Test Gcc Nocheck
passed job_test_gcc_nocheck #2243

00:00:16

 
  Build Python
passed job_build_python #2244

00:01:35

 
  Build Clang
passed job_make_clang #2245

00:01:56

 
  Test Clang
passed job_test_clang #2246

00:00:12