Skip to content

Merge pull request #4169 from serlo/ci/add-polling-to-merge-pr-within… #430

Merge pull request #4169 from serlo/ci/add-polling-to-merge-pr-within…

Merge pull request #4169 from serlo/ci/add-polling-to-merge-pr-within… #430

Triggered via push October 8, 2024 16:21
Status Success
Total duration 1m 24s
Artifacts
build-and-publish
1m 15s
build-and-publish
Fit to window
Zoom out
Zoom in