Replace DISCO API with GitHub API for Mandrel latest version resolution.#213
Merged
fniephaus merged 2 commits intograalvm:mainfrom Mar 31, 2026
Merged
Replace DISCO API with GitHub API for Mandrel latest version resolution.#213fniephaus merged 2 commits intograalvm:mainfrom
fniephaus merged 2 commits intograalvm:mainfrom