Skip to content

Actions: scala/scala3

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5,171 workflow run results
5,171 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add selection ranges for more names
Dotty #35798: Pull request #23257 synchronize by zielinsky
May 30, 2025 10:17 1h 39m 4s zielinsky:selection-ranges
May 30, 2025 10:17 1h 39m 4s
Change into scheme to be fully type-based (#23014)
Dotty #35795: Commit db65435 pushed by odersky
May 30, 2025 07:57 1h 26m 0s main
May 30, 2025 07:57 1h 26m 0s
Dotty
Dotty #35793: Scheduled
May 30, 2025 03:20 27m 19s main
May 30, 2025 03:20 27m 19s
Remove orphan check
Dotty #35791: Commit 713b233 pushed by som-snytt
May 29, 2025 22:05 1h 27m 16s main
May 29, 2025 22:05 1h 27m 16s
Remove obsolete check file
Dotty #35790: Pull request #23258 synchronize by som-snytt
May 29, 2025 21:07 11s som-snytt:test/18174
May 29, 2025 21:07 11s
Hide constructor proxies at PostTyper (#23269)
Dotty #35785: Commit ef37ebf pushed by noti0na1
May 29, 2025 12:43 1h 18m 16s main
May 29, 2025 12:43 1h 18m 16s
Add jpath to VirtualFile (for pc)
Dotty #35784: Pull request #23203 synchronize by kasiaMarek
May 29, 2025 09:35 1h 12m 37s kasiaMarek:metals-i7460
May 29, 2025 09:35 1h 12m 37s
Dotty
Dotty #35783: Scheduled
May 29, 2025 03:21 2h 24m 19s main
May 29, 2025 03:21 2h 24m 19s
Improve GADT reasoning for pattern alternatives (#23205)
Dotty #35780: Commit 457a463 pushed by Linyxus
May 28, 2025 12:24 1h 18m 44s main
May 28, 2025 12:24 1h 18m 44s
Allow caps in result types of functions to be mapped to reaches (#23275)
Dotty #35779: Commit e8e3903 pushed by Linyxus
May 28, 2025 10:47 1h 21m 20s main
May 28, 2025 10:47 1h 21m 20s
Dotty
Dotty #35777: Scheduled
May 28, 2025 03:20 2h 20m 40s main
May 28, 2025 03:20 2h 20m 40s
Improve GADT reasoning for pattern alternatives
Dotty #35775: Pull request #23205 synchronize by Linyxus
May 27, 2025 21:23 1h 20m 36s dotty-staging:fix-pat-alt
May 27, 2025 21:23 1h 20m 36s