diff --git a/ansible/inventory.yml b/ansible/inventory.yml
index 23dd7a97f..06fcc01c1 100644
--- a/ansible/inventory.yml
+++ b/ansible/inventory.yml
@@ -133,12 +133,6 @@ hosts:
     - equinix:
         ubuntu2004_docker-arm64-1: {ip: 145.40.81.219}
         ubuntu2004_docker-arm64-3: {ip: 145.40.99.31}
-        # when adding, removing or changing the IPs for any
-        # `jenkins-workspace-*` machine, remember to rerun
-        # the `ansible/playbooks/create-github-bot.yml` playbook
-        # to update the Jenkins worker IP allowlist in github-bot
-        ubuntu2204-x64-1: {ip: 147.75.72.255, alias: jenkins-workspace-7}
-        ubuntu2204-x64-2: {ip: 145.40.96.123, alias: jenkins-workspace-8}
 
     - ibm:
         aix72-ppc64_be-1:
@@ -236,6 +230,10 @@ hosts:
                 SSL_CERT_FILE: "{{ home }}/{{ server_user }}/ca-bundle.crt"
             server_jobs: 4
     - mnx:
+        # when adding, removing or changing the IPs for any
+        # `jenkins-workspace-*` machine, remember to rerun
+        # the `ansible/playbooks/create-github-bot.yml` playbook
+        # to update the Jenkins worker IP allowlist in github-bot
         ubuntu2204-x64-1: {ip: 67.158.54.159, alias: jenkins-workspace-9}
         ubuntu2204-x64-2: {ip: 8.225.232.44, alias: jenkins-workspace-10}
         smartos21-x64-1: {ip: 8.225.232.135}