More Linux images


We have added three new Linux images with Jeroen:

The last one runs the check with address sanitizer turned on. Unfortunately the ASAN/UBSAN output is suppressed currently,
so we still need to work on this. :(

Some lessons learned, and improvements:

System requirements improvements

We have also added a bunch of new system requirements.