Skip to content

Actions: scala/scala3

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5,703 workflow runs
5,703 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

warn about unnecessary uses of .nn
Dotty #35890: Pull request #23327 synchronize by olhotak
June 9, 2025 16:27 4h 58m 9s dotty-staging:warn-unnecessary-nn
June 9, 2025 16:27 4h 58m 9s
warn about unnecessary uses of .nn
Dotty #35887: Pull request #23327 synchronize by olhotak
June 9, 2025 14:56 1h 31m 45s dotty-staging:warn-unnecessary-nn
June 9, 2025 14:56 1h 31m 45s
Rename mut to update
Dotty #35886: Pull request #23335 synchronize by odersky
June 9, 2025 14:38 4h 38m 43s dotty-staging:mut-to-update
June 9, 2025 14:38 4h 38m 43s
Bump Scala CLI to v1.8.1 (was v1.8.0)
Dotty #35885: Pull request #23334 opened by Gedochao
June 9, 2025 14:29 4h 18m 57s Gedochao:update/scala-cli-1.8.1
June 9, 2025 14:29 4h 18m 57s
Change retains annotation from using term arguments to using type arg…
Dotty #35884: Commit 6513b52 pushed by noti0na1
June 9, 2025 13:48 4h 5m 16s main
June 9, 2025 13:48 4h 5m 16s
warn about unnecessary uses of .nn
Dotty #35880: Pull request #23327 synchronize by olhotak
June 9, 2025 13:04 1h 38m 55s dotty-staging:warn-unnecessary-nn
June 9, 2025 13:04 1h 38m 55s
Adapt types according to read-only status
Dotty #35878: Pull request #23332 synchronize by odersky
June 9, 2025 11:20 1h 20m 8s dotty-staging:adapt-ro
June 9, 2025 11:20 1h 20m 8s
Adapt types according to read-only status
Dotty #35877: Pull request #23332 opened by odersky
June 9, 2025 10:36 44m 50s dotty-staging:adapt-ro
June 9, 2025 10:36 44m 50s
Dotty
Dotty #35875: Scheduled
June 9, 2025 03:26 1h 58m 7s main
June 9, 2025 03:26 1h 58m 7s
Dotty
Dotty #35870: Scheduled
June 8, 2025 03:27 2h 33m 6s main
June 8, 2025 03:27 2h 33m 6s
Relax comparison between Null and reference types in explicit nulls (…
Dotty #35869: Commit 49286a9 pushed by noti0na1
June 7, 2025 20:11 1h 14m 14s main
June 7, 2025 20:11 1h 14m 14s
warn about unnecessary uses of .nn
Dotty #35867: Pull request #23327 synchronize by olhotak
June 7, 2025 11:29 1h 11m 49s dotty-staging:warn-unnecessary-nn
June 7, 2025 11:29 1h 11m 49s
warn about unnecessary uses of .nn
Dotty #35866: Pull request #23327 synchronize by olhotak
June 7, 2025 04:35 2h 8m 35s dotty-staging:warn-unnecessary-nn
June 7, 2025 04:35 2h 8m 35s