Merge branch 'F-annot' into 'master'

Add annotations to System F

See merge request !28
1 job for master in 8 minutes and 5 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #1217018
build: [4.12.0]

00:08:05