Code

Development: Add Theia configuration#86

Code

Merged

Mtze merged 6 commits intomainls1intum/artemis-ansible-collection:mainfrom

add-theia-configls1intum/artemis-ansible-collection:add-theia-configCopy head branch name to clipboard

Jul 2, 2024

Commits

Commits on May 27, 2024

• Add Theia config to prod and env

  iyannsch

  committed
  eec38cb

  Copy full SHA for eec38cb

Commits on May 29, 2024

• Clean up varying Theia names and add profile

  iyannsch

  committed
  fad745d

  Copy full SHA for fad745d

Commits on Jun 11, 2024

• Merge branch 'main' into add-theia-config

  Mtze

  authored
  03e64a1

  Copy full SHA for 03e64a1

Commits on Jun 13, 2024

• Comment out theia config in defaults

  bensofficial

  committed
  bd258f9

  Copy full SHA for bd258f9

• Wrap theia configuration in check whether theia is defined

  bensofficial

  committed
  e236bd8

  Copy full SHA for e236bd8

Commits on Jun 17, 2024

• Merge branch 'main' into add-theia-config

  bensofficial

  authored
  02344f2

  Copy full SHA for 02344f2