Merge pull request #631 from rust-lang/chore-delete-unused-dev-desktop

chore: delete unused dev desktop
rust-lang · Nov 13, 2024 · 1479b01 · 1479b01
2 parents f881aca + e34c2bc
commit 1479b01
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 143 deletions.
diff --git a/terraform/dev-desktops/dns.tf b/terraform/dev-desktops/dns.tf
@@ -1,3 +1,7 @@
+data "aws_route53_zone" "rust_lang_org" {
+  name = "rust-lang.org"
+}
+
 resource "aws_route53_record" "dev_desktop_eu_2" {
   zone_id = data.aws_route53_zone.rust_lang_org.id
   name    = "dev-desktop-eu-2.infra.rust-lang.org"

diff --git a/terraform/dev-desktops/instance.tf b/terraform/dev-desktops/instance.tf