Skip to content

Merge pull request #1956 from scalacenter/dotty2scala3 #587

Merge pull request #1956 from scalacenter/dotty2scala3

Merge pull request #1956 from scalacenter/dotty2scala3 #587

Triggered via push March 6, 2024 09:24
Status Success
Total duration 14s
Artifacts
update_release_draft
6s
update_release_draft
Fit to window
Zoom out
Zoom in