TTTensor documentation mostly done

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

00:00:20

 
  Build Gcc
passed #2240
job_make_gcc

00:01:13

 
  Test Gcc
passed #2241
job_test_gcc

00:01:51

92.453%
 
  Build Gcc Nocheck
passed #2242
job_make_gcc_nocheck

00:01:06

 
  Test Gcc Nocheck
passed #2243
job_test_gcc_nocheck

00:00:16

 
  Build Python
passed #2244
job_build_python

00:01:35

 
  Build Clang
passed #2245
job_make_clang

00:01:56

 
  Test Clang
passed #2246
job_test_clang

00:00:12