Skip to content

Actions: dwijnand/scala3

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tweak kindness in provablyDisjoint again
Dotty #832: Commit 76ef630 pushed by dwijnand
December 13, 2023 10:43 1d 11h 44m 14s recursive-decompose-prefix
December 13, 2023 10:43 1d 11h 44m 14s
Allow some kindness in provablyDisjoint
Dotty #831: Commit b973cf9 pushed by dwijnand
December 12, 2023 18:44 1d 3h 43m 17s recursive-decompose-prefix
December 12, 2023 18:44 1d 3h 43m 17s
Allow some kindness in provablyDisjoint
Dotty #830: Commit 98c10c9 pushed by dwijnand
December 12, 2023 18:44 1d 3h 43m 59s recursive-decompose-prefix
December 12, 2023 18:44 1d 3h 43m 59s
Allow some kindness in provablyDisjoint
Dotty #829: Commit 7061748 pushed by dwijnand
December 12, 2023 18:42 1d 3h 45m 49s recursive-decompose-prefix
December 12, 2023 18:42 1d 3h 45m 49s
Fix type inferencing (constraining) regressions
Dotty #828: Commit d47605d pushed by dwijnand
December 11, 2023 18:30 1d 3h 57m 5s infer
December 11, 2023 18:30 1d 3h 57m 5s
Fix instantiating subtypes with outer references
Dotty #827: Commit 494d995 pushed by dwijnand
December 11, 2023 14:52 1d 7h 35m 34s recursive-decompose-prefix
December 11, 2023 14:52 1d 7h 35m 34s
Fix scaladoc-js HTML.Tag unchecked patmat
Dotty #826: Commit 0769a16 pushed by dwijnand
December 7, 2023 21:22 1d 1h 6m 0s recursive-decompose-prefix
December 7, 2023 21:22 1d 1h 6m 0s
more
Dotty #825: Commit b793b3f pushed by dwijnand
December 7, 2023 16:42 1d 5h 45m 28s infer
December 7, 2023 16:42 1d 5h 45m 28s
Minimise and fix upstream ZIO's problem
Dotty #824: Commit 8c841e0 pushed by dwijnand
December 7, 2023 14:36 1d 7h 51m 50s infer
December 7, 2023 14:36 1d 7h 51m 50s
Fix provablyDisjoint handling of HK types
Dotty #823: Commit 3e37592 pushed by dwijnand
December 7, 2023 14:28 1d 7h 59m 12s recursive-decompose-prefix
December 7, 2023 14:28 1d 7h 59m 12s
Document why large generic tuples are not exhaustivity checked
Dotty #822: Commit 771b866 pushed by dwijnand
December 7, 2023 12:13 1d 10h 14m 32s match-analyse-tuplexxl
December 7, 2023 12:13 1d 10h 14m 32s
Remove unnecessary and recursive Space decomposition
Dotty #821: Commit e167c64 pushed by dwijnand
December 6, 2023 18:05 1d 4h 22m 7s recursive-decompose-prefix
December 6, 2023 18:05 1d 4h 22m 7s
Minimise and fix upstream ZIO's problem
Dotty #820: Commit 8c19682 pushed by dwijnand
December 6, 2023 15:42 1d 6h 45m 13s infer
December 6, 2023 15:42 1d 6h 45m 13s
Handle TupleXXL in match analysis
Dotty #819: Commit e56b75e pushed by dwijnand
December 6, 2023 13:29 1d 8h 58m 55s match-analyse-tuplexxl
December 6, 2023 13:29 1d 8h 58m 55s
Disable match anaylsis in inlined trees
Dotty #818: Commit c0e93f1 pushed by dwijnand
December 4, 2023 16:29 1d 5h 58m 48s no-analysing-inlined-matches
December 4, 2023 16:29 1d 5h 58m 48s
Refix constraining two intersections
Dotty #817: Commit e15d3b9 pushed by dwijnand
December 4, 2023 14:56 1d 7h 31m 9s infer
December 4, 2023 14:56 1d 7h 31m 9s
Move faking errors to HideNonSensicalMessages
Dotty #816: Commit 4fb8e7c pushed by dwijnand
November 30, 2023 22:45 1d 10h 53m 55s pessimistic-errorsReported
November 30, 2023 22:45 1d 10h 53m 55s
November 30, 2023 17:43 1d 4h 44m 8s
Fix EtaExpansion extractor, to also honour prefix
Dotty #814: Commit 0b78b8e pushed by dwijnand
November 30, 2023 16:37 1d 5h 50m 42s export-nested-class
November 30, 2023 16:37 1d 5h 50m 42s
Fix EtaExpansion extractor, to also honour prefix
Dotty #813: Commit 5d07e66 pushed by dwijnand
November 30, 2023 16:33 1d 5h 54m 42s export-nested-class
November 30, 2023 16:33 1d 5h 54m 42s
Try to avoid scalaParallelCollections CI failure
Dotty #812: Commit 557ead1 pushed by dwijnand
November 29, 2023 00:27 1d 9h 11m 34s export-nested-class
November 29, 2023 00:27 1d 9h 11m 34s
Collapse into 1 etaExpand (to rule them all)
Dotty #811: Commit 357aa08 pushed by dwijnand
November 28, 2023 16:01 1d 6h 26m 9s export-nested-class
November 28, 2023 16:01 1d 6h 26m 9s
Make etaExpandWithAsf more self-contained
Dotty #810: Commit 6428333 pushed by dwijnand
November 13, 2023 14:28 1d 7h 59m 59s export-nested-class
November 13, 2023 14:28 1d 7h 59m 59s
Move implementation into TypeApplications etaExpandWithAsf
Dotty #809: Commit b0f9e16 pushed by dwijnand
November 13, 2023 11:44 1d 10h 43m 17s export-nested-class
November 13, 2023 11:44 1d 10h 43m 17s
simplify: Drop mapping tparams to tvars
Dotty #808: Commit 987f9e0 pushed by dwijnand
October 29, 2023 15:16 1d 7h 11m 53s mt/drop-tparam-to-tvar-in-simplify
October 29, 2023 15:16 1d 7h 11m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-10-29 or the other filters available.