Disable CircleCI builds#3477

Closed

ramilbakhshyiev wants to merge 3 commits intomainfrom

export-D57707621

Commits on May 23, 2024

Add display names to all PR build jobs on GitHub Actions (#3475)

ramilbakhshyiev
authored and
facebook-github-bot
committed
Gate all PR builds behind linux-x86_64-cmake in GitHub Actions (#3476)

ramilbakhshyiev
authored and
facebook-github-bot
committed
Disable CircleCI builds (#3477)

ramilbakhshyiev
authored and
facebook-github-bot
committed