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 (macos-14, 21)

succeeded Nov 28, 2024 in 1h 1m 36s