Seems Docker images are not being built when commit is done on master. Last time it worked was 5 months ago. @bruth Can you check why it is not built anymore?