Skip to content

Merge pull request #222 from mkurz/play-3.0.9 #80

Merge pull request #222 from mkurz/play-3.0.9

Merge pull request #222 from mkurz/play-3.0.9 #80

Triggered via push September 11, 2025 10:57
Status Success
Total duration 36s
Artifacts
Submit dependencies to GitHub
32s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in