Skip to content

Actions: scala/scala3

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
538 workflow run results
538 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check bounds in match type case bodies
Dotty #26020: Pull request #17602 synchronize by dwijnand
October 16, 2023 08:45 1h 34m 33s dwijnand:match-type-check-bounds
October 16, 2023 08:45 1h 34m 33s
Better error message when accessing private members
Dotty #26019: Pull request #18690 synchronize by nicolasstucki
October 16, 2023 08:20 1h 26m 57s dotty-staging:fix-18686
October 16, 2023 08:20 1h 26m 57s
Dotty
Dotty #26017: Scheduled
October 16, 2023 03:00 1h 43m 15s main
October 16, 2023 03:00 1h 43m 15s
Check bounds in match type case bodies
Dotty #26016: Pull request #17602 synchronize by dwijnand
October 15, 2023 21:02 1h 12m 49s dwijnand:match-type-check-bounds
October 15, 2023 21:02 1h 12m 49s
A more flexible scheme for handling the universal capability
Dotty #26015: Pull request #18699 synchronize by odersky
October 15, 2023 15:11 1h 9m 35s dotty-staging:cc-deep-cs
October 15, 2023 15:11 1h 9m 35s
A more flexible scheme for handling the universal capability
Dotty #26014: Pull request #18699 opened by odersky
October 15, 2023 13:36 1h 11m 25s dotty-staging:cc-deep-cs
October 15, 2023 13:36 1h 11m 25s
Dotty
Dotty #26013: Scheduled
October 15, 2023 03:00 1h 45m 23s main
October 15, 2023 03:00 1h 45m 23s
Dotty
Dotty #26011: Scheduled
October 14, 2023 03:00 1h 48m 44s main
October 14, 2023 03:00 1h 48m 44s
Check bounds in match type case bodies
Dotty #26009: Pull request #17602 synchronize by dwijnand
October 13, 2023 17:37 1h 18m 9s dwijnand:match-type-check-bounds
October 13, 2023 17:37 1h 18m 9s
Fix variance loophole for private vars
Dotty #26008: Pull request #18693 opened by odersky
October 13, 2023 16:47 1h 22m 11s dotty-staging:fix-18588
October 13, 2023 16:47 1h 22m 11s
Check bounds in match type case bodies
Dotty #26007: Pull request #17602 synchronize by dwijnand
October 13, 2023 16:11 1h 30m 44s dwijnand:match-type-check-bounds
October 13, 2023 16:11 1h 30m 44s
Better error message when accessing private members
Dotty #26005: Pull request #18690 synchronize by nicolasstucki
October 13, 2023 13:40 1h 28m 15s dotty-staging:fix-18686
October 13, 2023 13:40 1h 28m 15s
Better error message when accessing private members
Dotty #26004: Pull request #18690 opened by nicolasstucki
October 13, 2023 13:40 1h 31m 22s dotty-staging:fix-18686
October 13, 2023 13:40 1h 31m 22s
Fix typos in Build.scala (#18689)
Dotty #26003: Commit 8c1cdc2 pushed by nicolasstucki
October 13, 2023 13:25 1h 25m 46s main
October 13, 2023 13:25 1h 25m 46s
Fix typos in Build.scala
Dotty #26002: Pull request #18689 opened by nicolasstucki
October 13, 2023 12:02 1h 22m 49s dotty-staging:fix-typos-in-Build
October 13, 2023 12:02 1h 22m 49s
Improve error message for inaccessible types (#18406)
Dotty #26000: Commit 231ca72 pushed by smarter
October 13, 2023 11:18 1h 38m 43s main
October 13, 2023 11:18 1h 38m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-10-13 or the other filters available.