Skip to content

Merge pull request #440 from mkurz/scala_upgrade #33

Merge pull request #440 from mkurz/scala_upgrade

Merge pull request #440 from mkurz/scala_upgrade #33

Triggered via push September 11, 2023 21:16
Status Success
Total duration 1m 5s
Artifacts
Submit dependencies to GitHub
55s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in