Skip to content

Merge pull request #4287 from serlo/chore/upgrade-more #864

Merge pull request #4287 from serlo/chore/upgrade-more

Merge pull request #4287 from serlo/chore/upgrade-more #864

Triggered via push November 15, 2024 15:30
Status Success
Total duration 1m 54s
Artifacts

editor.yaml

on: push
build-and-publish
1m 43s
build-and-publish
Fit to window
Zoom out
Zoom in