[ci] Remove unused circleci config and containers (#9167)

Summary: CircleCI has been disabled now, so we can now delete these. These containers are only used in CircleCI before, so they can also be deleted. Pull Request resolved: #9167 Reviewed By: alexmckenley Differential Revision: D58739543 Pulled By: SamChou19815 fbshipit-source-id: 516a1b6234b0af2ee2542ab9599b55fa8a01455c
facebook · Jun 18, 2024 · 0f9937f · 0f9937f
1 parent 9bf127c
commit 0f9937f
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 105 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.circleci/images/ci-linux-arm64/Dockerfile b/.circleci/images/ci-linux-arm64/Dockerfile
diff --git a/.circleci/images/ci-linux-x86_64/Dockerfile b/.circleci/images/ci-linux-x86_64/Dockerfile
diff --git a/.circleci/images/ubuntu-16.04-opam/Dockerfile b/.circleci/images/ubuntu-16.04-opam/Dockerfile
diff --git a/.circleci/images/website/Dockerfile b/.circleci/images/website/Dockerfile