[blog] post about new E-ACSL-compatible Docker images

4 jobs for blog/new-dockerfiles in 7 minutes and 53 seconds (queued for 7 seconds)