Use v0.12.5 on CI