Development: Migrate theia config to common group vars

[bensofficial]

Motivation and Context

Follow-up to #56

Previously we had different Theia URLs for each test server. Therefore, it was not possible to have a common configuration.

In #56, the Theia Portal URL was changed so that all test servers have the same configuration. This allows us to remove config duplication.

Description

Remove duplicate config values and add test server 1 to 3 to the theia group.

Summary by CodeRabbit

• Chores
  • Removed Theia portal configuration from test environments
  • Added three new test host entries to the infrastructure group

[coderabbitai]

Caution

Review failed

The pull request is closed.

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 21ed027a-4381-4e46-b136-a44318cb960f

📥 Commits

Reviewing files that changed from the base of the PR and between 2480786 and d80e8ac.

📒 Files selected for processing (4)

• group_vars/artemistest1.yml
• group_vars/artemistest2.yml
• group_vars/artemistest3.yml
• hosts

---

📝 Walkthrough

Walkthrough

Three group variable files have their Theia portal configuration blocks removed, while three corresponding host entries are added to the inventory. These are configuration-level modifications to Ansible infrastructure management files without functional logic changes.

Changes

Cohort / File(s)	Summary
Group Variables Configuration group_vars/artemistest1.yml, group_vars/artemistest2.yml, group_vars/artemistest3.yml	Removed Theia portal configuration blocks, including portal_url and language-specific image mappings (Java, C, JavaScript, OCaml, Python, Rust).
Inventory Configuration hosts	Added three new host entries (artemistest1, artemistest2, artemistest3) under the artemistests_theia:children group.

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~3 minutes

Poem

🐰 Three theia blocks say their farewell,
Portal_urls farewell as well,
Three hosts join the inventory dance,
Configuration cleaned at a glance! ✨

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment
• Commit unit tests in branch feat/migrate-theia-config-to-group

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}