[Lima-commits] Jenkins build is still unstable: lima-ci #3