Skip to content

Actions: dwijnand/scala3

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
562 workflow runs
562 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix a case of MT reduction using abstract types
Dotty #728: Commit 96999a0 pushed by dwijnand
July 18, 2023 18:08 1d 4h 19m 9s mt-PlusTri
July 18, 2023 18:08 1d 4h 19m 9s
Reproduce and fix error that affected http4s
Dotty #727: Commit ce9e6d6 pushed by dwijnand
July 18, 2023 15:15 1d 7h 12m 5s name-clash-wrong-implicit
July 18, 2023 15:15 1d 7h 12m 5s
Fix comment
Dotty #726: Commit 990b65c pushed by dwijnand
July 18, 2023 12:15 1d 10h 12m 44s reduce-regex
July 18, 2023 12:15 1d 10h 12m 44s
Move comment for stripLazyRef usage
Dotty #725: Commit d42301e pushed by dwijnand
July 17, 2023 21:42 1d 0h 45m 13s reduce-regex
July 17, 2023 21:42 1d 0h 45m 13s
Move stripLazyRef inside simplified
Dotty #724: Commit d087c43 pushed by dwijnand
July 17, 2023 17:37 1d 4h 50m 24s reduce-regex
July 17, 2023 17:37 1d 4h 50m 24s
Freeze constraints while calculating GADT full bounds
Dotty #723: Commit 072d38e pushed by dwijnand
July 17, 2023 08:16 1d 1h 22m 44s gadt-fb-freeze
July 17, 2023 08:16 1d 1h 22m 44s
Strip LazyRef before calling simplified, in MT reduction
Dotty #722: Commit 8c08568 pushed by dwijnand
July 16, 2023 13:10 1d 9h 17m 53s reduce-regex
July 16, 2023 13:10 1d 9h 17m 53s
Handle recursion in collectParts
Dotty #721: Commit b65f689 pushed by dwijnand
July 15, 2023 12:39 1d 9h 48m 30s crash/inf-mt-collectParts
July 15, 2023 12:39 1d 9h 48m 30s
Reproduce and fix error that affected findRef
Dotty #720: Commit 463ee8c pushed by dwijnand
July 15, 2023 12:07 1d 10h 20m 10s name-clash-wrong-implicit
July 15, 2023 12:07 1d 10h 20m 10s
Avoid naming issues
Dotty #719: Commit b701344 pushed by dwijnand
July 14, 2023 17:56 1d 4h 31m 50s name-clash-wrong-implicit
July 14, 2023 17:56 1d 4h 31m 50s
Workaround Scanner.lookahead limitation
Dotty #718: Commit ba1354d pushed by dwijnand
July 14, 2023 10:30 1d 11h 57m 10s disallow-root-name
July 14, 2023 10:30 1d 11h 57m 10s
I don't understand
Dotty #717: Commit 3c07ab5 pushed by dwijnand
July 14, 2023 10:22 1d 12h 5m 10s name-clash-wrong-implicit
July 14, 2023 10:22 1d 12h 5m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-07-14 or the other filters available.