Skip to content

Actions: szymon-rd/scala3

Actions

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
360 workflow runs
360 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dotty Dotty #499: Scheduled
September 6, 2023 03:14 9s main
main
September 6, 2023 03:14 9s
Dotty Dotty #498: Scheduled
September 5, 2023 03:14 9s main
main
September 5, 2023 03:14 9s
Revert Fix false positive in WUnused for renamed path-dependent imports Dotty #497: Commit cae2bb2 pushed by szymon-rd
September 4, 2023 13:28 1d 1h 51m 3s revert-fix-false-positive-wunused
revert-fix-false-positive-wunused
September 4, 2023 13:28 1d 1h 51m 3s
fix: Closes #18367 -Wconf options are processed incorrectly Dotty #496: Commit 16dd58f pushed by szymon-rd
September 4, 2023 13:20 1d 1h 59m 8s main
main
September 4, 2023 13:20 1d 1h 59m 8s
Dotty Dotty #495: Scheduled
September 4, 2023 03:14 10s main
main
September 4, 2023 03:14 10s
Dotty Dotty #494: Scheduled
September 3, 2023 03:13 9s main
main
September 3, 2023 03:13 9s
Dotty Dotty #493: Scheduled
September 2, 2023 03:13 9s main
main
September 2, 2023 03:13 9s
Dotty Dotty #492: Scheduled
September 1, 2023 03:14 9s main
main
September 1, 2023 03:14 9s
Replace lazy val with val Dotty #491: Commit 6c6070a pushed by szymon-rd
August 31, 2023 09:56 1d 5h 23m 5s fix-false-warnings-renamed-import
fix-false-warnings-renamed-import
August 31, 2023 09:56 1d 5h 23m 5s
Dotty Dotty #490: Scheduled
August 31, 2023 03:14 8s main
main
August 31, 2023 03:14 8s
Dotty Dotty #489: Scheduled
August 30, 2023 03:14 10s main
main
August 30, 2023 03:14 10s
Replace def with lazy val Dotty #488: Commit 8bc81ef pushed by szymon-rd
August 29, 2023 13:02 1d 2h 16m 38s fix-false-warnings-renamed-import
fix-false-warnings-renamed-import
August 29, 2023 13:02 1d 2h 16m 38s
Revert "Check if owner of symbol exists" Dotty #487: Commit c1f4e5a pushed by szymon-rd
August 29, 2023 12:11 1d 3h 8m 3s fix-false-warnings-renamed-import
fix-false-warnings-renamed-import
August 29, 2023 12:11 1d 3h 8m 3s
Check if owner of symbol exists Dotty #486: Commit 2164115 pushed by szymon-rd
August 29, 2023 10:29 1d 4h 50m 0s fix-false-warnings-renamed-import
fix-false-warnings-renamed-import
August 29, 2023 10:29 1d 4h 50m 0s
Dotty Dotty #485: Scheduled
August 29, 2023 03:14 9s main
main
August 29, 2023 03:14 9s
Fix false positive in WUnused for renamed path-dependent imports Dotty #484: Commit 3b3dea3 pushed by szymon-rd
August 28, 2023 16:36 1d 22h 43m 1s fix-false-warnings-renamed-import
fix-false-warnings-renamed-import
August 28, 2023 16:36 1d 22h 43m 1s
Count size of parameters for platform limit check (#18464) Dotty #483: Commit 45f633d pushed by szymon-rd
August 28, 2023 16:02 1d 0h 7m 20s main
main
August 28, 2023 16:02 1d 0h 7m 20s
WIP - info from Typer & Implicits Dotty #482: Commit b2b6ab2 pushed by szymon-rd
August 28, 2023 15:56 1d 0h 13m 22s keep-directly-imported-idents
keep-directly-imported-idents
August 28, 2023 15:56 1d 0h 13m 22s
Keep directly imported idents - fix linting bug Dotty #481: Commit e25d0fd pushed by szymon-rd
August 16, 2023 11:51 1d 3h 28m 17s keep-directly-imported-idents
keep-directly-imported-idents
August 16, 2023 11:51 1d 3h 28m 17s
Keep directly imported idents - fix linting bug Dotty #480: Commit b4b5b9d pushed by szymon-rd
August 14, 2023 16:32 1d 22h 46m 42s keep-directly-imported-idents
keep-directly-imported-idents
August 14, 2023 16:32 1d 22h 46m 42s
Keep directly imported idents - fix linting bug Dotty #479: Commit 2ef4c6f pushed by szymon-rd
August 14, 2023 16:18 1d 23h 0m 37s keep-directly-imported-idents
keep-directly-imported-idents
August 14, 2023 16:18 1d 23h 0m 37s
Dotty Dotty #478: Scheduled
July 25, 2023 03:14 9s main
main
July 25, 2023 03:14 9s
Dotty Dotty #477: Scheduled
July 24, 2023 03:15 9s main
main
July 24, 2023 03:15 9s
Dotty Dotty #476: Scheduled
July 23, 2023 03:15 9s main
main
July 23, 2023 03:15 9s
Dotty Dotty #475: Scheduled
July 22, 2023 03:14 8s main
main
July 22, 2023 03:14 8s
ProTip! You can narrow down the results and go further in time using created:<2023-07-22 or the other filters available.