Skip to content

Merge pull request #808 from mkurz/play-json-3 #62

Merge pull request #808 from mkurz/play-json-3

Merge pull request #808 from mkurz/play-json-3 #62

Triggered via push October 22, 2023 08:37
Status Success
Total duration 1m 11s
Artifacts
Submit dependencies to GitHub
1m 4s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in