Skip to content

Merge pull request #4217 from serlo/release-editor-version-0-17-0 #490

Merge pull request #4217 from serlo/release-editor-version-0-17-0

Merge pull request #4217 from serlo/release-editor-version-0-17-0 #490

Triggered via push October 24, 2024 11:24
Status Success
Total duration 1m 36s
Artifacts
build-and-publish
1m 26s
build-and-publish
Fit to window
Zoom out
Zoom in