Skip to content

Actions: scala/scala3

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
503 workflow run results
503 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update _ wildcard type to ? in compiler (#18810)
Dotty #26321: Commit 2056544 pushed by nicolasstucki
November 1, 2023 08:59 2h 28m 45s main
November 1, 2023 08:59 2h 28m 45s
Remove stdlib213 from community build tests (#18801)
Dotty #26319: Commit 699ed87 pushed by nicolasstucki
November 1, 2023 08:51 1h 53m 40s main
November 1, 2023 08:51 1h 53m 40s
Dotty
Dotty #26309: Scheduled
November 1, 2023 03:00 1h 54m 25s main
November 1, 2023 03:00 1h 54m 25s
More additions to the standard library
Dotty #26308: Pull request #18799 synchronize by odersky
October 31, 2023 22:14 1h 7m 37s dotty-staging:more-stdlib
October 31, 2023 22:14 1h 7m 37s
Add support for xsbti.compile.CompileProgress (#18739)
Dotty #26306: Commit 58810fd pushed by sjrd
October 31, 2023 15:45 1h 18m 5s main
October 31, 2023 15:45 1h 18m 5s
More additions to the standard library
Dotty #26303: Pull request #18799 synchronize by odersky
October 31, 2023 14:22 1h 26m 20s dotty-staging:more-stdlib
October 31, 2023 14:22 1h 26m 20s
Properly handle by-name function types in REPL
Dotty #26302: Pull request #18761 synchronize by nicolasstucki
October 31, 2023 12:26 1h 50m 59s dotty-staging:fix-18756
October 31, 2023 12:26 1h 50m 59s
Merge linting phases
Dotty #26301: Pull request #18735 synchronize by szymon-rd
October 31, 2023 12:17 1h 38m 37s merge-linting-phases
October 31, 2023 12:17 1h 38m 37s
Merge linting phases
Dotty #26300: Commit 2d182de pushed by szymon-rd
October 31, 2023 12:17 1h 41m 45s merge-linting-phases
October 31, 2023 12:17 1h 41m 45s
Tweak approximation of type variables when computing default types (#…
Dotty #26298: Commit 7f803ec pushed by odersky
October 31, 2023 11:04 1h 12m 50s main
October 31, 2023 11:04 1h 12m 50s
Properly handle by-name function types in REPL
Dotty #26297: Pull request #18761 synchronize by nicolasstucki
October 31, 2023 09:39 1h 8m 31s dotty-staging:fix-18756
October 31, 2023 09:39 1h 8m 31s