Skip to content

Update CI devenv version to 1.x, make CI job version-independent of our configuration.#97

Merged
kleinmann merged 3 commits intomainfrom feature/devenv-1.xApr 9, 2024