Skip to content

Merge pull request #777 from mkurz/sbt195 #52

Merge pull request #777 from mkurz/sbt195

Merge pull request #777 from mkurz/sbt195 #52

Triggered via push September 14, 2023 08:01
Status Success
Total duration 3m 49s
Artifacts
Submit dependencies to GitHub
1m 18s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in