macOS 程序跑在 Linux 上：CI 账单能省一大截