Faster CI runners

Previously Embark used paid runners to get faster builds. As part of the transition we went to the slower Github action runners. We should look into getting credits and/or sponsors for faster CI if it is a problem.

This is what they used to have:

          - os: ubuntu-20.04-16core
            target: x86_64-unknown-linux-gnu
          - os: windows-2022-16core
            target: x86_64-pc-windows-msvc
          - os: macOS-latest-xl
            target: x86_64-apple-darwin
          - os: ubuntu-20.04-16core
            target: aarch64-linux-android
            host: x86_64-unknown-linux-gnu

Không có tệp workflow hoặc bài kiểm thử cụ thể nào được nêu. Hãy bắt đầu bằng việc xem xét cấu hình runner của GitHub Actions trong repository và so sánh với các runner 16 lõi được liệt kê; công việc được xem là hoàn tất khi xác định được liệu các bản build chậm hơn có phải là vấn đề hay không và xác định được các khoản tín dụng hoặc nhà tài trợ khả thi cho CI nhanh hơn.