Rob Anderson c165394439 convert circleci arm jobs to github actions (#12569) ... Summary: This pull request converts the CircleCI jobs that run on ARM runners to GitHub actions jobs. With this change you can retire the [circleci config](https://github.com/facebook/rocksdb/blob/main/.circleci/config.yml) for this repo. This change assumes you have [ARM runners](https://github.blog/changelog/2023-10-30-accelerate-your-ci-cd-with-arm-based-hosted-runners-in-github-actions/) with the label `4-core-ubuntu-arm`. --- [Here is a workflow run in my fork showing these jobs passing](https://github.com/robandpdx-org/rocksdb/actions/runs/8760406181/job/24045304383). --- https://fburl.com/workplace/f6mz6tmw Pull Request resolved: https://github.com/facebook/rocksdb/pull/12569 Reviewed By: ltamasi Differential Revision: D56435439 Pulled By: ajkr fbshipit-source-id: a24d79f21baca01beda232746f90b2853f27a664		2024-04-22 15:01:50 -07:00
..
actions
workflows	convert circleci arm jobs to github actions (#12569)	2024-04-22 15:01:50 -07:00