use lia instead of omega

7 jobs for ci/ralf/lia in 14 minutes and 59 seconds (queued for 1 second)