Skip to content

Merge pull request #3266 from eclipse-xtext/cd-regen-docs-after-repo-… #2433

Merge pull request #3266 from eclipse-xtext/cd-regen-docs-after-repo-…

Merge pull request #3266 from eclipse-xtext/cd-regen-docs-after-repo-… #2433

build (ubuntu-22.04, 21, -Pstrict-jdk-21, -strict)

succeeded Nov 28, 2024 in 54m 19s