Skip to content

Merge pull request #808 from playframework/mergify/bp/3.0.x/pr-807 #202

Merge pull request #808 from playframework/mergify/bp/3.0.x/pr-807

Merge pull request #808 from playframework/mergify/bp/3.0.x/pr-807 #202

Triggered via push February 22, 2025 16:20
Status Success
Total duration 25s
Artifacts
publish-sources
9s
publish-sources
Fit to window
Zoom out
Zoom in