Build automatically ACSL manuals list

2 jobs for feature/acsl-manuals-list in 10 minutes and 9 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #354528
docker
test

00:03:52

 
  Css
passed #354529
docker
check-css

00:06:16